CLIController.py
changeset 3548 da7b461f54b7
parent 3539 c2eec6aae07e
child 3619 f75b11506fb2
--- a/CLIController.py	Sun Jul 17 17:49:34 2022 +0200
+++ b/CLIController.py	Sun Jul 17 18:07:46 2022 +0200
@@ -22,6 +22,7 @@
             if self.crlfpending:
                 sys.stdout.write("\n")
             sys.stdout.write(s)
+            sys.stdout.flush()
             self.crlfpending = 0
 
     def write_error(self, s):