Hi,
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.
Regards,
Filipe
save-old-stdout-stderr.patch (1.89 KB)