--- /usr/lib/python2.5/pdb.py	2009-02-17 22:43:26.000000000 +0100
+++ pdb.py	2009-05-19 13:45:55.210790463 +0200
@@ -826,6 +826,7 @@
             print >>self.stdout, ' ',
         print >>self.stdout, self.format_stack_entry(frame_lineno,
                                                      prompt_prefix)
+        self.stdout.flush()
 
 
     # Help methods (derived from pdb.doc)