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: <1572995439.63.0.260461992962.issue38630@roundup.psfhosted.org> |
2019-11-05 23:10:39 | vstinner | link | issue38630 messages |
2019-11-05 23:10:39 | vstinner | create | |
|