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.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 0ebae3c..e2e9e0e 100644 (file)
--- 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 (file)
--- 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");
 }