From e2fa44b650122358ac3c691f988b51a9aaedada8 Mon Sep 17 00:00:00 2001
From: Christian Heller <c.heller@plomlompom.de>
Date: Mon, 26 Aug 2013 03:00:39 +0200
Subject: [PATCH] Improved comment description of exit_err().

---
 src/rexit.h | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/src/rexit.h b/src/rexit.h
index d9d93b2..543a436 100644
--- a/src/rexit.h
+++ b/src/rexit.h
@@ -35,9 +35,10 @@ extern void exit_game(struct World * world);
 
 
 
-/* If "err" != 0, exit with an error message "msg" and clean up. If "msg" is a
- * NULL pointer, return generic "Details unknown". In any case, also print "err"
- * as the "internal error code". Also print errno if it is non-zero.
+/* 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.
  */
 extern void exit_err(uint8_t err, struct World * world, char * msg);
 
-- 
2.30.2