Message237131
> I thought about different solution:
Your solution is different: I would prefer to also ignore broken pipe errors on close(). I'm not sure that close() can raise a BrokenPipeError in practice. |
|
Date |
User |
Action |
Args |
2015-03-03 13:13:56 | vstinner | set | recipients:
+ vstinner, neologix, martin.panter, serhiy.storchaka |
2015-03-03 13:13:56 | vstinner | set | messageid: <1425388436.52.0.68429347904.issue23570@psf.upfronthosting.co.za> |
2015-03-03 13:13:56 | vstinner | link | issue23570 messages |
2015-03-03 13:13:56 | vstinner | create | |
|