Guido van Rossum 6c193fa09d Solve issue 1400 at least in part -- whenever we run Python code, at the end
we also flush stderr and stdout.  (XXX this may override errors if there's a problem
flushing.)
2007-12-05 05:14:58 +00:00
..
2007-08-25 07:41:59 +00:00
2007-10-15 16:08:26 +00:00
2005-07-09 15:26:33 +00:00
2007-08-17 12:57:41 +00:00