Message110107
I agree that errors while flushing stdout shouldn't be silenced but instead reported (on stderr, obviously :-)). It is especially important when scripts are used for data processing.
I'd like to have Guido's opinion, though. |
|
| Date |
User |
Action |
Args |
| 2010-07-12 16:19:49 | pitrou | set | recipients:
+ pitrou, gvanrossum, mkc, amaury.forgeotdarc, skrah, BreamoreBoy |
| 2010-07-12 16:19:49 | pitrou | set | messageid: <1278951589.43.0.703220743221.issue5321@psf.upfronthosting.co.za> |
| 2010-07-12 16:19:48 | pitrou | link | issue5321 messages |
| 2010-07-12 16:19:47 | pitrou | create | |
|