From a6b29f87728ddb9bd63ef54383fd540005c7b412 Mon Sep 17 00:00:00 2001
From: Vladimir Prus <vladimir@codesourcery.com>
Date: Mon, 21 Dec 2009 10:02:06 +0000
Subject: 	* mi/mi-main.c (mi_cmd_gdb_exit): Flush raw_stdout.

---
 gdb/mi/mi-main.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'gdb/mi')

diff --git a/gdb/mi/mi-main.c b/gdb/mi/mi-main.c
index 2332752..0c8e917 100644
--- a/gdb/mi/mi-main.c
+++ b/gdb/mi/mi-main.c
@@ -111,6 +111,7 @@ mi_cmd_gdb_exit (char *command, char **argv, int argc)
     fputs_unfiltered (current_token, raw_stdout);
   fputs_unfiltered ("^exit\n", raw_stdout);
   mi_out_put (uiout, raw_stdout);
+  gdb_flush (raw_stdout);
   /* FIXME: The function called is not yet a formal libgdb function.  */
   quit_force (NULL, FROM_TTY);
 }
-- 
cgit v1.1