diff options
| author | Yao Qi <yao@codesourcery.com> | 2011-10-29 12:36:09 +0000 |
|---|---|---|
| committer | Yao Qi <yao@codesourcery.com> | 2011-10-29 12:36:09 +0000 |
| commit | d31647d24bccd4921776e57ce25a7424074e03c7 (patch) | |
| tree | 25682b90b23b433bf939fc1ab5e5ff41953a53d0 /gdb/infcmd.c | |
| parent | b1d96efdaaa2b0e069f4fe0fab838b66403d42f9 (diff) | |
| download | gdb-d31647d24bccd4921776e57ce25a7424074e03c7.zip gdb-d31647d24bccd4921776e57ce25a7424074e03c7.tar.gz gdb-d31647d24bccd4921776e57ce25a7424074e03c7.tar.bz2 | |
gdb/
* infcmd.c (disconnect_command): Call disconnect_tracing.
Diffstat (limited to 'gdb/infcmd.c')
| -rw-r--r-- | gdb/infcmd.c | 1 |
1 files changed, 1 insertions, 0 deletions
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 (); |