Message332251
| Author | vstinner |
|---|---|
| Recipients | miss-islington, pablogsal, vstinner |
| Date | 2018-12-20.19:37:22 |
| SpamBayes Score | -1.0 |
| Marked as misclassified | Yes |
| Message-id | <1545334642.71.0.788709270274.issue35424@psf.upfronthosting.co.za> |
| In-reply-to |
| Content | |
|---|---|
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. |
|
| History | |||
|---|---|---|---|
| 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 | |