Message285842
IMO the signal handler context manager would be useful (I have existing code where I wrote one that didn't quite work right :). I suggest you propose this on python-ideas. |
|
Date |
User |
Action |
Args |
2017-01-19 20:12:05 | r.david.murray | set | recipients:
+ r.david.murray, pitrou, vstinner, vilya, flox, neologix, takluyver, petri.lehtinen, martin.panter, rpcope1 |
2017-01-19 20:12:05 | r.david.murray | set | messageid: <1484856725.57.0.313098155166.issue13285@psf.upfronthosting.co.za> |
2017-01-19 20:12:05 | r.david.murray | link | issue13285 messages |
2017-01-19 20:12:05 | r.david.murray | create | |
|