Changes in src/tests/test.py [52c97dd:1d57215]

File:

• src/tests/test.py (modified) (1 diff)

src/tests/test.py

@@ -205 +205 @@
 
                 print(text, file = out);
+                sys.stdout.flush()
+                sys.stderr.flush()
+
 
         #clean the workspace