Message297708
Antoine: FYI I abandonned my idea of ignoring errors on socket.shutdown(), since I agree with your rationale. An application may rely on shutdown() exception to trigger some events, and a socket can still be used after a shutdown(). |
|
Date |
User |
Action |
Args |
2017-07-05 07:34:50 | vstinner | set | recipients:
+ vstinner, janssen, pitrou, christian.heimes, martin.panter, dstufft |
2017-07-05 07:34:50 | vstinner | set | messageid: <1499240090.61.0.567303072588.issue30319@psf.upfronthosting.co.za> |
2017-07-05 07:34:50 | vstinner | link | issue30319 messages |
2017-07-05 07:34:50 | vstinner | create | |
|