* mi/mi-main.c (mi_cmd_gdb_exit): Flush raw_stdout.
authorVladimir Prus <vladimir@codesourcery.com>
Mon, 21 Dec 2009 10:02:06 +0000 (10:02 +0000)
committerVladimir Prus <vladimir@codesourcery.com>
Mon, 21 Dec 2009 10:02:06 +0000 (10:02 +0000)
commita6b29f87728ddb9bd63ef54383fd540005c7b412
treec656f2eb49f8a67d7adeeeb7844ca77a4f59a328
parent9e19b45e2ed724759be1034349274f006d5a8653
* mi/mi-main.c (mi_cmd_gdb_exit): Flush raw_stdout.
gdb/ChangeLog
gdb/doc/ChangeLog
gdb/doc/gdb.texinfo
gdb/mi/mi-main.c