… | |
… | |
444 | char *clean_path(const char *file); |
444 | char *clean_path(const char *file); |
445 | char *unclean_path(const char *src); |
445 | char *unclean_path(const char *src); |
446 | void enter_exit(object *op, object *exit_ob); |
446 | void enter_exit(object *op, object *exit_ob); |
447 | void process_events(); |
447 | void process_events(); |
448 | void clean_tmp_files(void); |
448 | void clean_tmp_files(void); |
449 | void cleanup(void); |
449 | void cleanup (bool make_core = false); |
450 | void leave(player *pl,int draw_exit); |
450 | void leave(player *pl,int draw_exit); |
451 | int forbid_play(void); |
451 | int forbid_play(void); |
452 | void do_specials(void); |
452 | void do_specials(void); |
453 | int main(int argc, char **argv); |
453 | int main(int argc, char **argv); |
454 | /* monster.c */ |
454 | /* monster.c */ |