From: Tom Tromey <tromey@redhat.com>
To: Joel Brobecker <brobecker@adacore.com>
Cc: gdb-patches@sourceware.org
Subject: Re: Ping: unconditionally print detaching message
Date: Mon, 06 Dec 2010 21:56:00 -0000 [thread overview]
Message-ID: <m37hfma7mm.fsf@fleche.redhat.com> (raw)
In-Reply-To: <20101119221615.GK2634@adacore.com> (Joel Brobecker's message of "Fri, 19 Nov 2010 14:16:15 -0800")
>>>>> "Joel" == Joel Brobecker <brobecker@adacore.com> writes:
Tom> It occurred to me that perhaps we could instead have a setting for this.
Tom> I am ambivalent about that but if that is what people want, I will
Tom> implement it.
Joel> We could introduce message without a setting for now - the fewer,
Joel> the better (IMO). And if people complain about it, then introduce
Joel> one to prevent from being printed if the user so wishes...
It looks like we already changed it once, so this would be the second
time.
Why is "set print inferior-events" off by default?
It seems like we could resolve this by turning it on by default
and perhaps making this patch consult that setting.
Tom
next prev parent reply other threads:[~2010-12-06 21:56 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-11-19 21:57 Tom Tromey
2010-11-19 22:16 ` Joel Brobecker
2010-12-06 21:56 ` Tom Tromey [this message]
2010-12-07 7:56 ` Jan Kratochvil
2010-12-07 18:14 ` Tom Tromey
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=m37hfma7mm.fsf@fleche.redhat.com \
--to=tromey@redhat.com \
--cc=brobecker@adacore.com \
--cc=gdb-patches@sourceware.org \
/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