Explicitly flush statistics to file after every execution

945aa932 · Aggelos Giantsios · e508da96 · 945aa932
Commit 945aa932 authored Dec 06, 2014 by Aggelos Giantsios
Show whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

runner.py runner.py +1 -0

No files found.
--- a/runner.py
+++ b/runner.py
@@ -45,5 +45,6 @@ for iwp in [False, True]:
        t = run_dist(master, slvs, vsn, n, iwp)
        ts.append(t)
      print ("%s" % ts, file=f)
+      f.flush()

 f.close()