From: Tom Tromey <tromey@redhat.com>
To: Jan Kratochvil <jan.kratochvil@redhat.com>
Cc: gdb-patches@sourceware.org
Subject: Re: [patch] Fix SIGTERM signal safety (PR gdb/15358)
Date: Thu, 25 Jul 2013 19:07:00 -0000 [thread overview]
Message-ID: <87bo5qv4p4.fsf@fleche.redhat.com> (raw)
In-Reply-To: <20130725154054.GA22227@host2.jankratochvil.net> (Jan Kratochvil's message of "Thu, 25 Jul 2013 17:40:54 +0200")
>>>>> "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
prev parent reply other threads:[~2013-07-25 19:07 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-07-02 20:24 Jan Kratochvil
2013-07-25 15:33 ` Tom Tromey
2013-07-25 15:41 ` Jan Kratochvil
2013-07-25 19:07 ` Tom Tromey [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=87bo5qv4p4.fsf@fleche.redhat.com \
--to=tromey@redhat.com \
--cc=gdb-patches@sourceware.org \
--cc=jan.kratochvil@redhat.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox