From: Christian Heller <c.heller@plomlompom.de>
Date: Thu, 19 Feb 2015 11:54:59 +0000 (+0100)
Subject: Server/py: Add space after QUIT record line uncommenter.
X-Git-Tag: tce~513
X-Git-Url: https://plomlompom.com/repos/%7B%7Bprefix%7D%7D/%7B%7B%20web_path%20%7D%7D/foo.html?a=commitdiff_plain;h=ac3baeffbaa63deb148c0bbb59804270ff3a4fd7;p=plomrogue

Server/py: Add space after QUIT record line uncommenter.
---

diff --git a/plomrogue-server.py b/plomrogue-server.py
index 67d2259..dfae044 100755
--- a/plomrogue-server.py
+++ b/plomrogue-server.py
@@ -59,7 +59,7 @@ def obey(cmd, io_db, path_recordfile):
     elif "PING" == tokens[0] and 1 == len(tokens):
         io_db["file_out"].write("PONG\n")
     elif "QUIT" == tokens[0] and 1 == len(tokens):
-        record("#" + cmd, path_recordfile)
+        record("# " + cmd, path_recordfile)
         raise SystemExit("received QUIT command")
     elif "MAKE_WORLD" == tokens[0] and 2 == len(tokens):
         print("I would generate a new world now, if only I knew how.")