From: Christian Heller <c.heller@plomlompom.de>
Date: Mon, 23 Feb 2015 01:07:38 +0000 (+0100)
Subject: Server/py: Flush PONG! message.
X-Git-Tag: tce~489
X-Git-Url: https://plomlompom.com/repos/%7B%7Bdb.prefix%7D%7D/%7B%7B%20web_path%20%7D%7D/pick_tasks?a=commitdiff_plain;h=c3a2d6655c841a901dc4a84c5fab165dce0a2891;p=plomrogue

Server/py: Flush PONG! message.
---

diff --git a/plomrogue-server.py b/plomrogue-server.py
index 6713905..c7d5dde 100755
--- a/plomrogue-server.py
+++ b/plomrogue-server.py
@@ -76,6 +76,7 @@ def obey(cmd, io_db, prefix, replay_file=None, do_record=False):
         pass
     elif "PING" == tokens[0] and 1 == len(tokens):
         io_db["file_out"].write("PONG\n")
+        io_db["file_out"].flush()
     elif "QUIT" == tokens[0] and 1 == len(tokens):
         if do_record:
             record("# " + cmd, io_db)