diff options
| author | Elena Zannoni <ezannoni@kwikemart.cygnus.com> | 2000-02-18 17:00:18 +0000 |
|---|---|---|
| committer | Elena Zannoni <ezannoni@kwikemart.cygnus.com> | 2000-02-18 17:00:18 +0000 |
| commit | cca728d0c98b0474d4f0b914c3fc1ce66b150f9d (patch) | |
| tree | 6c6cac4eb48cd34b261f0d86e3b41b90c0477319 /gdb/remote.c | |
| parent | c61b8717214f5a3fffc7fd33afe2e205132c82bb (diff) | |
| download | gdb-cca728d0c98b0474d4f0b914c3fc1ce66b150f9d.zip gdb-cca728d0c98b0474d4f0b914c3fc1ce66b150f9d.tar.gz gdb-cca728d0c98b0474d4f0b914c3fc1ce66b150f9d.tar.bz2 | |
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.
Diffstat (limited to 'gdb/remote.c')
| -rw-r--r-- | gdb/remote.c | 4 |
1 files changed, 2 insertions, 2 deletions
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"); } |