diff options
| author | Vladimir Prus <vladimir@codesourcery.com> | 2009-12-21 10:02:06 +0000 |
|---|---|---|
| committer | Vladimir Prus <vladimir@codesourcery.com> | 2009-12-21 10:02:06 +0000 |
| commit | a6b29f87728ddb9bd63ef54383fd540005c7b412 (patch) | |
| tree | c656f2eb49f8a67d7adeeeb7844ca77a4f59a328 /gdb/mi | |
| parent | 9e19b45e2ed724759be1034349274f006d5a8653 (diff) | |
| download | gdb-a6b29f87728ddb9bd63ef54383fd540005c7b412.zip gdb-a6b29f87728ddb9bd63ef54383fd540005c7b412.tar.gz gdb-a6b29f87728ddb9bd63ef54383fd540005c7b412.tar.bz2 | |
* mi/mi-main.c (mi_cmd_gdb_exit): Flush raw_stdout.
Diffstat (limited to 'gdb/mi')
| -rw-r--r-- | gdb/mi/mi-main.c | 1 |
1 files changed, 1 insertions, 0 deletions
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); } |