* infcmd.c (disconnect_command): Call disconnect_tracing.
+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.
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 ();