Message290679
It's simple to fix this in Python 3 on Windows. PyErr_SetInterrupt in Modules/signalmodule.c needs the following addition:
#ifdef MS_WINDOWS
SetEvent(sigint_event);
#endif
In the main thread on Windows, time.sleep() waits on this event.
On Unix, time.sleep() uses select(). We could interrupt it by signaling the process, or explicitly the main thread, via kill() or pthread_kill(). See issue 21895 for a related discussion. |
|
Date |
User |
Action |
Args |
2017-03-28 02:33:27 | eryksun | set | recipients:
+ eryksun, terry.reedy, Mark |
2017-03-28 02:33:27 | eryksun | set | messageid: <1490668407.88.0.18808223785.issue29926@psf.upfronthosting.co.za> |
2017-03-28 02:33:27 | eryksun | link | issue29926 messages |
2017-03-28 02:33:27 | eryksun | create | |
|