[MI, doc] flush output in -gdb-exit

[Vladimir Prus]

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