Message286332
Here is a proposal for an API:
* getsignal: return the Python-level signal handler (this is an existing function)
* setsignal: set the Python-level signal handler (but not the OS-level signal handler)
* getossignal: get the OS-level signal handler as opaque object
* setossignal: set the OS-level signal handler with an opaque object
Using these primitives, you could implement anything that you want on a higher level. |
|
Date |
User |
Action |
Args |
2017-01-26 20:32:56 | jdemeyer | set | recipients:
+ jdemeyer, pitrou, vstinner, vilya, r.david.murray, flox, neologix, takluyver, petri.lehtinen, martin.panter, rpcope1 |
2017-01-26 20:32:55 | jdemeyer | set | messageid: <1485462775.99.0.803111868992.issue13285@psf.upfronthosting.co.za> |
2017-01-26 20:32:55 | jdemeyer | link | issue13285 messages |
2017-01-26 20:32:55 | jdemeyer | create | |
|