Save old stdou/stderr when starting a python session


Attached is a small python fix to save the current stout and std err when starting a python session, then diverting then (as it was before), and restoring the previous values afterwards. Otherwise, a python script could suddenly find itself without output.



save-old-stdout-stderr.patch (1.89 KB)

Thanks, Filipe!
Checked in r151693.