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

[Antoine Pitrou]

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.