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