Issue #4653: fix typo in flush_std_files()
Don't call sys.stderr.flush() if sys has no stderr attribute or if sys.stderr==None.
V
Victor Stinner committed
9467b212f5dd4558443d03584e1ed9bca5a2b780
Parent: 84df1e6
Don't call sys.stderr.flush() if sys has no stderr attribute or if sys.stderr==None.