int num_workers = 0; /* Current number of worker threads */
int active_workers = 0; /* Number of ACTIVE worker threads */
pthread_key_t ThreadKey;
pthread_mutex_t Critters[MAX_SEMAPHORES]; /* Things needing locking */
struct thread_tsd masterTSD;
int server_shutting_down = 0; /* set to nonzero during shutdown */
int num_workers = 0; /* Current number of worker threads */
int active_workers = 0; /* Number of ACTIVE worker threads */
pthread_key_t ThreadKey;
pthread_mutex_t Critters[MAX_SEMAPHORES]; /* Things needing locking */
struct thread_tsd masterTSD;
int server_shutting_down = 0; /* set to nonzero during shutdown */