3 * Routines to exit the game orderly on error, with cleaning up and a somewhat
12 /* Set "f" as the cleanup function to be called on exit. */
13 extern void set_cleanup_func(void (* f)());
15 /* If "err" == 0, do nothing. Else, clean up and exit with an error message that
16 * consists of "msg" or (if "msg" is NULL pointer) a generic "Details unknown"
17 * and of errno's content (if it is non-zero).
19 extern void exit_err(int err, char * msg);
21 /* Do exit_err() with "msg" as: "Trouble in ".parent." with ".child."." */
22 extern void exit_trouble(int err, char * parent, char * child);