Server/py: Flush PONG! message.

diff --git a/plomrogue-server.py b/plomrogue-server.py
index 6713905fc06c63433c57c5599aeb31075bc83f52..c7d5ddead9351e40025904fdf87014c14cc51105 100755 (executable)
--- 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)