Message356074
> It sounds like there's actually nothing to do here? (Except maybe eventually switch to pidfd or similar, but Victor says he wants to use a different issue for that.) Can this be closed?
I opened this issue to propose PR 16984. Did you notice the PR?
In short, I propose to call poll() before calling os.kill() in send_signal(). |
|
| Date |
User |
Action |
Args |
| 2019-11-05 23:10:39 | vstinner | set | recipients:
+ vstinner, giampaolo.rodola, njs |
| 2019-11-05 23:10:39 | vstinner | set | messageid: <[email protected]> |
| 2019-11-05 23:10:39 | vstinner | link | issue38630 messages |
| 2019-11-05 23:10:39 | vstinner | create | |
|