[Python-Dev] Return code when there's a problem at shutdown

Hello, In issue #5319, the poster complains that redirecting stdout to a misbehaving (pseudo-)file such as /dev/full should produce a non-zero error code when the IO error happens at shutdown (when calling flush() on stdout). Is it a reasonable expectation? What would you think of making the change? (it would require giving a return value to Py_Finalize(), which currently returns nothing) Regards Antoine.