Message332251
The first implementation of my PR also emitted ResourceWarning when .join() hasn't been called, but the merged PR only emit a warning if .close() and .terminated() have not been called: if the pool is still running. |
|
Date |
User |
Action |
Args |
2018-12-20 19:37:22 | vstinner | set | recipients:
+ vstinner, pablogsal, miss-islington |
2018-12-20 19:37:22 | vstinner | set | messageid: <1545334642.71.0.788709270274.issue35424@psf.upfronthosting.co.za> |
2018-12-20 19:37:22 | vstinner | link | issue35424 messages |
2018-12-20 19:37:22 | vstinner | create | |
|