home · contact · privacy
Server/py: Add space after QUIT record line uncommenter.
authorChristian Heller <c.heller@plomlompom.de>
Thu, 19 Feb 2015 11:54:59 +0000 (12:54 +0100)
committerChristian Heller <c.heller@plomlompom.de>
Thu, 19 Feb 2015 11:54:59 +0000 (12:54 +0100)
plomrogue-server.py

index 67d2259dc9f33aef4737f5a10056063704ec2488..dfae044be34e4d71b5472e351c4982f0fb169926 100755 (executable)
@@ -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.")