This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [MI, doc] flush output in -gdb-exit
On Thursday 17 December 2009 16:13:32 Daniel Jacobowitz wrote:
> On Thu, Dec 17, 2009 at 10:46:03AM +0300, Vladimir Prus wrote:
> >
> > I've noticed that under frontend, -gdb-exit may "timeout", even though it sends "^exit"
> > immediately. There was a flush missing. This patch adds it, and clarifies that frontend
> > should wait for GDB to actually exit, not just acknoledge the request.
> >
> > OK?
>
> This is OK (with changelog), although I don't see why it's necessary -
> when we exit, shouldn't that flush stdout?
It flushes stdout. However, it seems to my more convenient -- especially
when debugging frontend, if command response comes as soon as possible.
- Volodya