13 #ifndef _MULTI_PAUSE_HEADER_FILE
14 #define _MULTI_PAUSE_HEADER_FILE
void multi_pause_close(int end_mission)
void multi_pause_request(int pause)
net_player * Multi_pause_pauser
void multi_pause_unpause()
void multi_pause_server_eval_request(net_player *pl, int pause)
int multi_pause_eat_keys()