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.)
1 file changed