Server/py: Fix out file writing bug.

[plomrogue] / src / common / rexit.h

diff --git a/src/common/rexit.h b/src/common/rexit.h
index 3095cf84234d3c29bb2a0ff1ccb6e7f4643cdc54..85fb648507e27f415e23e63d329a549908a4886f 100644 (file)
--- a/src/common/rexit.h
+++ b/src/common/rexit.h
@@ -1,4 +1,8 @@
 /* src/common/rexit.h
+ *
+ * This file is part of PlomRogue. PlomRogue is licensed under the GPL version 3
+ * or any later version. For details on its copyright, license, and warranties,
+ * see the file NOTICE in the root directory of the PlomRogue source package.
  *
  * Routines to exit the game orderly on error, with cleaning up and a somewhat
  * informative message.
@@ -13,14 +17,13 @@
 extern void set_cleanup_func(void (* f)());
 
 /* If "err" == 0, do nothing. Else, clean up and exit with an error message that
- * consists, first, of "msg" or (if "msg" is a NULL pointer) a generic "Details
- * unknown", secondly of "err" as the "internal error code", and thirdly of
- * errno if it is non-zero.
+ * consists of "msg" or (if "msg" is NULL pointer) a generic "Details unknown"
+ * and of errno's content (if it is non-zero).
  */
-extern void exit_err(int err, char * msg);
+extern void exit_err(int err, const char * msg);
 
 /* Do exit_err() with "msg" as: "Trouble in ".parent." with ".child."." */
-extern void exit_trouble(int err, char * parent, char * child);
+extern void exit_trouble(int err, const char * parent, const char * child);