/* Deallocates a mailbox. If there are messages still present in the mailbox when the mailbox is deallocated, it is an indication of a programming error in lwIP and the developer should be notified.  */
void sys_mbox_free(sys_mbox_t mbox)
/* Deallocates a mailbox. If there are messages still present in the mailbox when the mailbox is deallocated, it is an indication of a programming error in lwIP and the developer should be notified.  */
void sys_mbox_free(sys_mbox_t mbox)
{
  if( uxQueueMessagesWaiting( mbox ) )
  {
    __asm__ __volatile__ ( "nop" );
  }
  vQueueDelete( mbox );
}