tree 380ceb8c66bc8807d5396a64b4632b2b319783f2
parent 6b0c1154230afc0bf878993f11154dd0b3adda1a
author Tom Tromey <tom@tromey.com> 1641255142 -0700
committer Tom Tromey <tom@tromey.com> 1648579585 -0600

Remove unnecessary calls to wrap_here and gdb_flush

Various spots in gdb currently know about the wrap buffer, and so are
careful to call wrap_here to be certain that all output has been
flushed.

Now that the pager is just an ordinary stream, this isn't needed, and
a simple call to gdb_flush is enough.

Similarly, there are places where gdb prints to gdb_stderr, but first
flushes gdb_stdout.  stderr_file already flushes gdb_stdout, so these
aren't needed.