* infcmd.c (disconnect_command): Call disconnect_tracing.
This commit is contained in:
Yao Qi 2011-10-29 12:36:09 +00:00
parent b1d96efdaa
commit d31647d24b
2 changed files with 5 additions and 0 deletions

View file

@ -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 ();