Re: [PATCH]: machine interface not flushing properly

[Andrew Cagney]

> Hi,
>
> I think I found a buglet in the gdbmi interface.  I've been going back and forth
> on this but I'm fairly convinced my little code is right.
>
> It appears as though we're not getting raw_stdout flushed properly.  I have
> observed this behavior with gdb 5.0 as well as current (updated yesterday) cvs.
> The wierd thing is that it looks like gdbmi is intentianally not flushing the
> way I think it should, which causes me to doubt myself.
>
> Here is an example of bad behavior (the example program is included later in the
> message):



David,

This bug has me puzzled for two reasons:

        o       I was sure, for MI we turned
                buffering off.  (Perhaps it
                was only input buffering)

        o       I was sure that a ``\n''
                would force a flush anyway.

the patch is probably correct (and needed) I'm just wondering about these.

        Andrew