Message237125
New patch to fix the bug seen by Serhiy.
> Anyway, we closed all pipes
Oh, I forgot to explain that TextIOWrapper.close() closes the buffered file even if flush() raised an exception. BufferedWriter.close() does the same.
So stdin.close() always closes the text (binary or text, buffered or not). It's not more possible to use stdin after stdin.close(), even if stdin.close() raised an exception. |
|
Date |
User |
Action |
Args |
2015-03-03 12:08:43 | vstinner | set | recipients:
+ vstinner, neologix, martin.panter, serhiy.storchaka |
2015-03-03 12:08:43 | vstinner | set | messageid: <1425384523.38.0.411095115311.issue23570@psf.upfronthosting.co.za> |
2015-03-03 12:08:43 | vstinner | link | issue23570 messages |
2015-03-03 12:08:43 | vstinner | create | |
|