mdwsetup.py: Turn off Python's usual `SIGINT' handler.
authorMark Wooding <mdw@distorted.org.uk>
Mon, 13 Apr 2020 11:29:22 +0000 (12:29 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Fri, 8 May 2020 11:30:13 +0000 (12:30 +0100)
commite638c0a3b3417bd5a2fb32cf4f61c6a42dab051f
treea92316a64686033d5a15fc8db403e31d908f8974
parent235173edfc704d78de54f6d8d58b9bd5d8910e74
mdwsetup.py: Turn off Python's usual `SIGINT' handler.

Without this, a buggy native-code extension can loop forever, and Emacs
can't easily be persuaded to kill it.
mdwsetup.py