gdbstub: Close connection in gdb_exit
commite2af15b2ad57d3c61b79c8aea0871e3a00264e96
authorFabien Chouteau <chouteau@adacore.com>
Thu, 13 Jan 2011 11:46:57 +0000 (13 12:46 +0100)
committerEdgar E. Iglesias <edgar.iglesias@petalogix.com>
Sun, 16 Jan 2011 19:56:01 +0000 (16 20:56 +0100)
tree2d9f5ae9d609771d0e390d77ae0ebaa41165482c
parenta8fb7ff3fdd05ffb4cce1ab4d3ff7768a490f2f5
gdbstub: Close connection in gdb_exit

On Windows, this is required to flush the remaining data in the IO stream,
otherwise Gdb do not receive the last packet.

Version 2:
   Fix linux-user build error.

Signed-off-by: Fabien Chouteau <chouteau@adacore.com>
Signed-off-by: Edgar E. Iglesias <edgar.iglesias@petalogix.com>
gdbstub.c