ensure that multiple calls to stdin.close() don't block everything
Description
Description
Details
Details
- Provenance
patrick Authored on Jun 4 2017, 12:15 PM - Parents
- rENIG2d3b631f4976: small improvements for better stability
- Branches
- Unknown
- Tags
ensure that multiple calls to stdin.close() don't block everything Tags None Subscribers None |