#include "utils.h"
#include <unistd.h>		/* need RBT_PANIC flag */

PRIVATE int panicking;		/* inhibits recursive panics */

/*===========================================================================*
 *				server_panic				     *
 *===========================================================================*/
PUBLIC void server_panic(who, mess, num)
char *who;			/* server identification */
char *mess;			/* message format string */
int num;			/* number to go with format string */
{
/* Something awful has happened. Panics are caused when an internal
 * inconsistency is detected, e.g., a programming error or illegal 
 * value of a defined constant.
 */
  message m;

  if (panicking) return;	/* already a panic */
  panicking = TRUE;		/* prevent recursive panics */
  if (NULL != who && NULL != mess) {
      if (num != NO_NUM) {
          printf("Panic in %s: %s: %d\n", who, mess, num); 
      } else {
          printf("Panic in %s: %s\n", who, mess); 
      }
  }

  m.m_type = SYS_EXIT;
  m.EXIT_STATUS = 1;
  _taskcall(SYSTASK, SYS_EXIT, &m);
  /* never reached */
}