\f
void
-gdb_flush (struct ui_file *file)
+ui_file_flush (struct ui_file *file)
{
file->flush ();
}
void
stderr_file::write (const char *buf, long length_buf)
{
- gdb_flush (gdb_stdout);
+ ui_file_flush (gdb_stdout);
stdio_file::write (buf, length_buf);
}
void
stderr_file::puts (const char *linebuffer)
{
- gdb_flush (gdb_stdout);
+ ui_file_flush (gdb_stdout);
stdio_file::puts (linebuffer);
}