| version 1.35 | | version 1.36 |
|---|
| | |
| /* | | /* |
| * static char *rcsid_main_c = | | * static char *rcsid_main_c = |
| * "$Id: main.c,v 1.35 2001/03/23 20:23:01 mwedel Exp $"; | | * "$Id: main.c,v 1.36 2001/03/30 07:52:24 mwedel Exp $"; |
| */ | | */ |
| | | |
| /* | | /* |
| | |
| exit(0); | | exit(0); |
| } | | } |
| | | |
| void leave(player *pl) { | | void leave(player *pl, int draw_exit) { |
| char buf[MAX_BUF]; | | char buf[MAX_BUF]; |
| | | |
| if (pl!=NULL) { | | if (pl!=NULL) { |
| | |
| } | | } |
| pl->ob->type = DEAD_OBJECT; /* To avoid problems with inventory window */ | | pl->ob->type = DEAD_OBJECT; /* To avoid problems with inventory window */ |
| } | | } |
| if (pl!=NULL) new_draw_info(NDI_UNIQUE | NDI_ALL, 5, NULL, buf); | | if (pl!=NULL && draw_exit) new_draw_info(NDI_UNIQUE | NDI_ALL, 5, NULL, buf); |
| } | | } |
| | | |
| int forbid_play() | | int forbid_play() |