* server.c (main): After the inferior having exited, call

remote_close before exiting gdbserver.
This commit is contained in:
Pedro Alves 2009-03-31 22:46:36 +00:00
parent 1b88d5c487
commit 0a59d50b2d
2 changed files with 6 additions and 0 deletions

View file

@ -1959,6 +1959,7 @@ main (int argc, char *argv[])
else
{
fprintf (stderr, "GDBserver exiting\n");
remote_close ();
exit (0);
}
}