[MI, doc] flush output in -gdb-exit
Thu Dec 17 14:01:00 GMT 2009
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.
More information about the Gdb-patches