From cca728d0c98b0474d4f0b914c3fc1ce66b150f9d Mon Sep 17 00:00:00 2001 From: Elena Zannoni Date: Fri, 18 Feb 2000 17:00:18 +0000 Subject: [PATCH] 2000-02-18 Elena Zannoni * 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. --- gdb/ChangeLog | 7 +++++++ gdb/remote.c | 4 ++-- 2 files changed, 9 insertions(+), 2 deletions(-) diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 0ebae3c6b8f..e2e9e0e3764 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,10 @@ +2000-02-18 Elena Zannoni + + * 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 From Rodney Brown diff --git a/gdb/remote.c b/gdb/remote.c index 8411f2f722d..9c044c9d393 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"); } -- 2.30.2