Re: [patch] Fix SIGTERM signal safety (PR gdb/15358)

Tom Tromey
2013-07-25T19:07:47Z

>>>>> "Jan" == Jan Kratochvil <jan.kratochvil@redhat.com> writes:

Jan> I am roughly aware it may somehow abort Python scripts but IMO that
Jan> is what we want to do.

Ok. It wasn't clear from your note that you were aware of the effect.

It isn't obvious to me that KeyboardInterrupt is what we want on the
Python side, but I dug around in CPython a bit and didn't see any way to
do better, at least not without awful hacks.

Tom