diff options
| author | Jim Kingdon <jkingdon@engr.sgi.com> | 1994-01-28 20:43:59 +0000 |
|---|---|---|
| committer | Jim Kingdon <jkingdon@engr.sgi.com> | 1994-01-28 20:43:59 +0000 |
| commit | b09f44d2c9417455438d9d68baa11682f522c500 (patch) | |
| tree | 5c253bf37c3e0f3947b2178e98b207dbecf8539d /gdb/remote-udi.c | |
| parent | 52fa9d667abec3e469b40cd391082ccbc09131b4 (diff) | |
| download | gdb-b09f44d2c9417455438d9d68baa11682f522c500.zip gdb-b09f44d2c9417455438d9d68baa11682f522c500.tar.gz gdb-b09f44d2c9417455438d9d68baa11682f522c500.tar.bz2 | |
* remote-udi.c (udi_close, udi_detach, udi_kill): Add comments.
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 0f667b3..c859d9c 100644 --- a/gdb/remote-udi.c +++ b/gdb/remote-udi.c @@ -360,8 +360,11 @@ udi_detach (args,from_tty) if (UDIDisconnect (udi_session_id, UDIContinueSession)) error ("UDIDisconnect() failed in udi_detach"); - pop_target(); /* calls udi_close to do the real work */ + /* calls udi_close to do the real work (which looks like it calls + UDIDisconnect with UDITerminateSession, FIXME). */ + pop_target(); + /* FIXME, message too similar to what udi_close prints. */ if (from_tty) printf_unfiltered ("Ending remote debugging\n"); } @@ -1011,7 +1014,9 @@ just invoke udi_close, which seems to get things right. #endif /* 0 */ /* Keep the target around, e.g. so "run" can do the right thing when - we are already debugging something. */ + we are already debugging something. FIXME-maybe: should we kill the + TIP with UDIDisconnect using UDITerminateSession, and then restart + it on the next "run"? */ inferior_pid = 0; } |