This is the mail archive of the gdb-patches@sourceware.org mailing list for the GDB project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [PATCH] TUI: rewrite tui_query_hook()


On Thu, Jan 8, 2015 at 9:14 AM, Eli Zaretskii <eliz@gnu.org> wrote:
>> From: Patrick Palka <patrick@parcs.ath.cx>
>> Date: Thu, 8 Jan 2015 08:42:38 -0500
>> Cc: gdb-patches@sourceware.org
>>
>> > Given the latest discussions about buffering, don't you need to call
>> > wrefresh after the second tui_puts?
>>
>> I have been using this patch for a few months locally and have not
>> seen any buffering issues.  The recently-mentioned issues are mostly
>> Windows-related, aren't they?  I can add a wrefresh() if that is
>> what's needed to prevent potential buffering issues.
>
> I think we shouldn't assume that stdout gets flushed when a program
> reads from stdin.

That sounds like a good rule of thumb.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]