##// END OF EJS Templates
ui: make sure buffer is flushed before waiting for user input (issue5587)...
Kostia Balytskyi -
r33662:c2c6a0f7 stable
parent child Browse files
Show More
@@ -1215,6 +1215,7 b' class ui(object):'
1215 # call write() so output goes through subclassed implementation
1215 # call write() so output goes through subclassed implementation
1216 # e.g. color extension on Windows
1216 # e.g. color extension on Windows
1217 self.write(prompt, prompt=True)
1217 self.write(prompt, prompt=True)
1218 self.flush()
1218
1219
1219 # instead of trying to emulate raw_input, swap (self.fin,
1220 # instead of trying to emulate raw_input, swap (self.fin,
1220 # self.fout) with (sys.stdin, sys.stdout)
1221 # self.fout) with (sys.stdin, sys.stdout)
General Comments 0
You need to be logged in to leave comments. Login now