Message304468
From a user's perspective I would definitely appreciate forkserver being protected from SIGINT. This bug affects me in practice. If the forkserver goes down I personally have no objection to it restarting automatically, though I appreciate that I have a narrow view of this topic.
Davin, at your last comment it seemed like you had reservations about this going in. Did Antoine's recent comments resolve these concerns or no? Do you have any suggestions on what might be done to protect users from SIGINT crashing the forkserver? |
|
Date |
User |
Action |
Args |
2017-10-16 12:21:01 | Matthew Rocklin | set | recipients:
+ Matthew Rocklin, pitrou, davin |
2017-10-16 12:21:01 | Matthew Rocklin | set | messageid: <1508156461.69.0.213398074469.issue31308@psf.upfronthosting.co.za> |
2017-10-16 12:21:01 | Matthew Rocklin | link | issue31308 messages |
2017-10-16 12:21:01 | Matthew Rocklin | create | |
|