Message322137
Closing in faviour of Issue 30154, which suggests documentation or adjusting the timeout implementation. There is also Issue 26534 proposing a new “kill_group” option when using the timeout feature. |
|
Date |
User |
Action |
Args |
2018-07-22 08:38:36 | martin.panter | set | recipients:
+ martin.panter, vstinner, Martin Ritter |
2018-07-22 08:38:36 | martin.panter | set | messageid: <1532248716.22.0.56676864532.issue31935@psf.upfronthosting.co.za> |
2018-07-22 08:38:36 | martin.panter | link | issue31935 messages |
2018-07-22 08:38:35 | martin.panter | create | |
|