From 6ddf68a935708159d568f3b3dc6fcca3dc27aa89 Mon Sep 17 00:00:00 2001
From: Christian Heller <c.heller@plomlompom.de>
Date: Mon, 16 Feb 2015 23:29:12 +0100
Subject: [PATCH] Server/Py: Remove flush() the necessity of which I can't
 rationalize.

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

diff --git a/plomrogue-server.py b/plomrogue-server.py
index 2b5dcb6..04bc1d6 100755
--- a/plomrogue-server.py
+++ b/plomrogue-server.py
@@ -17,7 +17,6 @@ def setup_server_io(io_db):
     os.makedirs(io_dir, exist_ok=True)
     io_db["file_out"] = open(io_db["path_out"], "w")
     io_db["file_out"].write(io_db["teststring"] + "\n")
-    io_db["file_out"].flush()                         # TODO: Explain necessity.
     if os.access(io_db["path_in"], os.F_OK):
         os.remove(io_db["path_in"])
     io_db["file_in"] = open(io_db["path_in"], "w")
-- 
2.30.2