Browse code

Flush stdout after logging messages, in case buffered pipes are involved

Karsten Sperling authored on 2012/06/27 10:51:16
Showing 1 changed files
... ...
@@ -31,6 +31,7 @@ from distutils.spawn import find_executable
31 31
 
32 32
 def output(message):
33 33
     sys.stdout.write(message + "\n")
34
+    sys.stdout.flush()
34 35
 
35 36
 def check_args_type(args, type, verbose_type):
36 37
     for arg in args: