From e76dfbea20ecf4f9485b9a89681ca9ba0a5e173f Mon Sep 17 00:00:00 2001
From: Tamas Gal <tgal@km3net.de>
Date: Sat, 16 Feb 2019 16:45:21 +0100
Subject: [PATCH] Flush every time
---
scripts/msg_dumper.py | 1 +
1 file changed, 1 insertion(+)
diff --git a/scripts/msg_dumper.py b/scripts/msg_dumper.py
index 66e9d2d..036647c 100755
--- a/scripts/msg_dumper.py
+++ b/scripts/msg_dumper.py
@@ -42,6 +42,7 @@ class MSGDumper(Module):
entry = "{} [{}]: {}\n".format(
os.path.basename(self.filename), source, data)
self.fobj.write(entry)
+ self.fobj.flush()
return blob
def finish(self):
--
GitLab