diff options
| -rw-r--r-- | gdb/ChangeLog | 7 | ||||
| -rw-r--r-- | gdb/remote.c | 4 |
2 files changed, 9 insertions, 2 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 0ebae3c..e2e9e0e 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,10 @@ +2000-02-18 Elena Zannoni <ezannoni@kwikemart.cygnus.com> + + * remote.c (remote_async_detach): Use target_mourn_inferior(), to + make sure that all is cleaned up after we disconnect from the + target. + (remote_detach): Ditto. + 2000-02-17 Fernando Nasser <fnasser@totem.to.cygnus.com> From Rodney Brown <RodneyBrown@pmsc.com> diff --git a/gdb/remote.c b/gdb/remote.c index 8411f2f..9c044c9 100644 --- a/gdb/remote.c +++ b/gdb/remote.c @@ -2114,7 +2114,7 @@ remote_detach (args, from_tty) strcpy (buf, "D"); remote_send (buf, PBUFSIZ); - pop_target (); + target_mourn_inferior (); if (from_tty) puts_filtered ("Ending remote debugging.\n"); @@ -2139,7 +2139,7 @@ remote_async_detach (args, from_tty) if (target_is_async_p ()) SERIAL_ASYNC (remote_desc, NULL, 0); - pop_target (); + target_mourn_inferior (); if (from_tty) puts_filtered ("Ending remote debugging.\n"); } |