Message155243
Ok, I see. Would an option to disable the default SIGINT handlers (and let the OS kill the process) be an acceptable solution to your use case?
Keep in mind that letting the OS kill the process will bypass any destructors at the Python level, so for example some buffered file data may not be flushed properly, etc.
By the way, if I'm not mistaken, the problem is only with SIGINT, right? |
|
Date |
User |
Action |
Args |
2012-03-09 16:33:51 | pitrou | set | recipients:
+ pitrou, telmich |
2012-03-09 16:33:51 | pitrou | set | messageid: <1331310831.89.0.978453374723.issue14228@psf.upfronthosting.co.za> |
2012-03-09 16:33:51 | pitrou | link | issue14228 messages |
2012-03-09 16:33:51 | pitrou | create | |
|