[patch] Call disconnect_tracing from disconnect_command

[Yao Qi]

I noticed that disconnect_tracing is only called from detach_command and
quit_command, however, not called from disconnect_command.  I don't
think it is correct, so here is a one-line patch to fix this.

Regression tested on x86_64-linux with native-gdbserver.exp board file.
 OK to to apply?

-- 
Yao (齐尧)

2011-10-24  Yao Qi  <yao@codesourcery.com>

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