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 /gas | |
| 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 'gas')
0 files changed, 0 insertions, 0 deletions