From d31647d24bccd4921776e57ce25a7424074e03c7 Mon Sep 17 00:00:00 2001
From: Yao Qi <yao@codesourcery.com>
Date: Sat, 29 Oct 2011 12:36:09 +0000
Subject: [PATCH] gdb/ 	* infcmd.c (disconnect_command): Call
 disconnect_tracing.

---
 gdb/ChangeLog | 4 ++++
 gdb/infcmd.c  | 1 +
 2 files changed, 5 insertions(+)

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index eb4c77580ae..bdc9bf22e29 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 3e8bf5d1884..7b935feb613 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 ();
-- 
2.30.2