add Tee.flush to fix some paths

modula3 · Jun 1, 2016 · 3fefef0 · 3fefef0
1 parent 98638a6
commit 3fefef0
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/scripts/python/pylib.py b/scripts/python/pylib.py
@@ -23,6 +23,12 @@ def write(self, c):
         if self.b != None and self.a != self.b:
             self.b.write(c)
 
+    def flush(self):
+        if self.a != None:
+            self.a.flush()
+        if self.b != None and self.a != self.b:
+            self.b.flush()
+
 sys.stdout = Tee(sys.stdout, open(sys.argv[0] + ".log", "a"))
 
 # Workaround regression in m3-sys/m3cc/src/m3makefile.