Message138363
pipe_interruptible.patch is a patch to support to making poll() interruptible. It applies on top of pipe_poll_2.patch.
I am not sure what the guarantees are for when KeyboardInterrupt will be raised.
I would have done it a bit differently if I knew a good way to test whether the current thread is the main one. Maybe there should be something like PyThread_is_main() and/or threading.ismain(). |
|
Date |
User |
Action |
Args |
2011-06-15 13:17:18 | sbt | set | recipients:
+ sbt, pitrou, jnoller |
2011-06-15 13:17:18 | sbt | set | messageid: <1308143838.76.0.17999098178.issue12328@psf.upfronthosting.co.za> |
2011-06-15 13:17:18 | sbt | link | issue12328 messages |
2011-06-15 13:17:18 | sbt | create | |
|