gdb/
authorYao Qi <yao@codesourcery.com>
Sat, 29 Oct 2011 12:36:09 +0000 (12:36 +0000)
committerYao Qi <yao@codesourcery.com>
Sat, 29 Oct 2011 12:36:09 +0000 (12:36 +0000)
commitd31647d24bccd4921776e57ce25a7424074e03c7
tree25682b90b23b433bf939fc1ab5e5ff41953a53d0
parentb1d96efdaaa2b0e069f4fe0fab838b66403d42f9
gdb/
* infcmd.c (disconnect_command): Call disconnect_tracing.
gdb/ChangeLog
gdb/infcmd.c