From c3a2d6655c841a901dc4a84c5fab165dce0a2891 Mon Sep 17 00:00:00 2001
From: Christian Heller <c.heller@plomlompom.de>
Date: Mon, 23 Feb 2015 02:07:38 +0100
Subject: [PATCH] Server/py: Flush PONG! message.

---
 plomrogue-server.py | 1 +
 1 file changed, 1 insertion(+)

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)
-- 
2.30.2