Pārlūkot izejas kodu

Have launch flush its output so that it can be grepped, etc.

Ian Goldberg 1 gadu atpakaļ
vecāks
revīzija
deaa5adc41
1 mainītis faili ar 1 papildinājumiem un 1 dzēšanām
  1. 1 1
      App/launch

+ 1 - 1
App/launch

@@ -34,7 +34,7 @@ def launch(node, manifest, config):
         line = proc.stdout.readline()
         if not line:
             break
-        print(node + ": " + line.decode('utf-8'), end='')
+        print(node + ": " + line.decode('utf-8'), end='', flush=True)
 
 
 if __name__ == "__main__":