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