diff options
Diffstat (limited to 'gdb')
| -rw-r--r-- | gdb/ChangeLog | 4 | ||||
| -rw-r--r-- | gdb/infcmd.c | 1 |
2 files changed, 5 insertions, 0 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index eb4c775..bdc9bf2 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,7 @@ +2011-10-29 Yao Qi <yao@codesourcery.com> + + * infcmd.c (disconnect_command): Call disconnect_tracing. + 2011-10-29 Jan Kratochvil <jan.kratochvil@redhat.com> Code cleanup. diff --git a/gdb/infcmd.c b/gdb/infcmd.c index 3e8bf5d..7b935fe 100644 --- a/gdb/infcmd.c +++ b/gdb/infcmd.c @@ -2679,6 +2679,7 @@ static void disconnect_command (char *args, int from_tty) { dont_repeat (); /* Not for the faint of heart. */ + disconnect_tracing (from_tty); target_disconnect (args, from_tty); no_shared_libraries (NULL, from_tty); init_thread_list (); |