mercurial/ui.py
changeset 1837 6f67a4c93493
parent 1637 3b1b44b917f4
child 1840 d17f19d84fd3
--- a/mercurial/ui.py	Sun Mar 05 01:37:28 2006 -0800
+++ b/mercurial/ui.py	Mon Mar 06 08:35:15 2006 -0800
@@ -132,6 +132,12 @@
         for a in args:
             sys.stderr.write(str(a))
 
+    def flush(self):
+        try:
+            sys.stdout.flush()
+        finally:
+            sys.stderr.flush()
+
     def readline(self):
         return sys.stdin.readline()[:-1]
     def prompt(self, msg, pat, default="y"):