Message292425
> A simpler solution would actually be to catch KeyboardInterrupt inside the forkserver loop and exit cleanly...
I'm not sure that we always want to exit on CTRL-c. But I agree that the forkserver has to handle CTRL-c. Maybe ignore it, but be killed when its master gets a CTRL-c? |
|
Date |
User |
Action |
Args |
2017-04-27 11:32:30 | vstinner | set | recipients:
+ vstinner, rhettinger, pitrou, sbt, davin |
2017-04-27 11:32:30 | vstinner | set | messageid: <1493292750.25.0.385497851554.issue30185@psf.upfronthosting.co.za> |
2017-04-27 11:32:30 | vstinner | link | issue30185 messages |
2017-04-27 11:32:30 | vstinner | create | |
|