3 Feb
2015
3 Feb
'15
3:22 p.m.
2015-02-03 15:25 GMT+01:00 Giampaolo Rodola' <g.rodola@gmail.com>:
OK, thanks for clarifying, this is a very nice addition. One last thing: should InterruptedError exception be deprecated? As far as I understand it should never occur again, right?
signal.setinterrupt() is not deprecated so you can still "disable" the PEP for a specific signal. Charles-François didn't want to deprecate this function. https://docs.python.org/dev/library/signal.html#signal.siginterrupt Since the code to handle InterruptedError will be removed from the stdlib, the purpose of this function becomes less obvious to me... Victor