From 6fe3c19aa2ae6cb5d82fdd4d6816d117ad99981c Mon Sep 17 00:00:00 2001
From: Matt Wala <wala1@illinois.edu>
Date: Sat, 23 Nov 2019 01:22:25 +0100
Subject: [PATCH] Also flush sys.stdout

---
 examples/dagrt-fusion.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/examples/dagrt-fusion.py b/examples/dagrt-fusion.py
index 40870293..e188438f 100755
--- a/examples/dagrt-fusion.py
+++ b/examples/dagrt-fusion.py
@@ -72,6 +72,7 @@ OUT_DIR = os.environ.get("OUT_DIR", ".")
 def open_output_file(filename):
     if not PAPER_OUTPUT:
         yield sys.stdout
+        sys.stdout.flush()
     else:
         try:
             outfile = open(os.path.join(OUT_DIR, filename), "w")
-- 
GitLab