diff options
| author | Jim Kingdon <jkingdon@engr.sgi.com> | 1994-01-28 21:58:12 +0000 |
|---|---|---|
| committer | Jim Kingdon <jkingdon@engr.sgi.com> | 1994-01-28 21:58:12 +0000 |
| commit | 97cc042806e29d19ea8f8082337a03f2a716495b (patch) | |
| tree | c4a6cabee40bb41559b84e955e8fcb245aa752db /gdb/remote-udi.c | |
| parent | 39f08524165c4011bee17f7d5183703521f0c5e1 (diff) | |
| download | gdb-97cc042806e29d19ea8f8082337a03f2a716495b.zip gdb-97cc042806e29d19ea8f8082337a03f2a716495b.tar.gz gdb-97cc042806e29d19ea8f8082337a03f2a716495b.tar.bz2 | |
* remote-udi.c (udi_close, udi_detach, udi_kill): Add comments.
* infptrace.c (kill_inferior): Add comments.
* main.c (quit_command): Call target_close after we kill or
detach.
* remote-udi.c (udi_close): Don't error() if QUITTING.
Diffstat (limited to 'gdb/remote-udi.c')
| -rw-r--r-- | gdb/remote-udi.c | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/gdb/remote-udi.c b/gdb/remote-udi.c index c859d9c..d4c634e 100644 --- a/gdb/remote-udi.c +++ b/gdb/remote-udi.c @@ -303,10 +303,15 @@ udi_close (quitting) /*FIXME: how is quitting used */ return; /* We should never get here if there isn't something valid in - udi_session_id. */ + udi_session_id. */ if (UDIDisconnect (udi_session_id, UDITerminateSession)) - error ("UDIDisconnect() failed in udi_close"); + { + if (quitting) + warning ("UDIDisconnect() failed in udi_close"); + else + error ("UDIDisconnect() failed in udi_close"); + } /* Do not try to close udi_session_id again, later in the program. */ udi_session_id = -1; |