gdb/

	* infcmd.c (disconnect_command): Call disconnect_tracing.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index eb4c77580ae6d1a19d85ab9c0da1a30117657504..bdc9bf22e2973511e16390ac9e131d3627eedb45 100644 (file)
--- 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 3e8bf5d18842464edeb867ca6e3ffdfa531cd3ec..7b935feb61392b8b1dfa998aa392bbcff2fa8361 100644 (file)
--- 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 ();