2000-02-18 Elena Zannoni <ezannoni@kwikemart.cygnus.com>
authorElena Zannoni <ezannoni@kwikemart.cygnus.com>
Fri, 18 Feb 2000 17:00:18 +0000 (17:00 +0000)
committerElena Zannoni <ezannoni@kwikemart.cygnus.com>
Fri, 18 Feb 2000 17:00:18 +0000 (17:00 +0000)
commitcca728d0c98b0474d4f0b914c3fc1ce66b150f9d
tree6c6cac4eb48cd34b261f0d86e3b41b90c0477319
parentc61b8717214f5a3fffc7fd33afe2e205132c82bb
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.
gdb/ChangeLog
gdb/remote.c