Message297349
Also note that:
- PyErr_SetInterrupt() has been setting the SIGINT since the beginning in 1995 (changeset 06d511dd by Guido)
- interrupt_main() has been calling PyErr_SetInterrupt() since the beginning in 2003 (changeset a11e8461 by Kurt B Kaiser)
so it stands reasonable to keep the SIGINT behaviour. The documentation is simply wrong and/or imprecise. |
|
Date |
User |
Action |
Args |
2017-06-30 07:57:44 | pitrou | set | recipients:
+ pitrou, terry.reedy, njs, martin.panter, Mark, eryksun, louielu |
2017-06-30 07:57:44 | pitrou | set | messageid: <1498809464.94.0.103328754633.issue29926@psf.upfronthosting.co.za> |
2017-06-30 07:57:44 | pitrou | link | issue29926 messages |
2017-06-30 07:57:44 | pitrou | create | |
|