* target.h (pop_all_targets): Declare.

	* target.c (pop_all_targets): New.
	* top.c (quit_target): Pop all targets instead of just closing the
	current.

1 files changed, 3 insertions, 2 deletions

diff --git a/gdb/top.c b/gdb/top.c
index 7f46caf..0ae7ea0 100644
--- a/gdb/top.c
+++ b/gdb/top.c
@@ -1222,8 +1222,9 @@ quit_target (void *arg)
         target_kill ();
     }
 
-  /* UDI wants this, to kill the TIP.  */
-  target_close (&current_target, 1);
+  /* Give all pushed targets a chance to do minimal cleanup, and pop
+     them all out.  */
+  pop_all_targets (1);
 
   /* Save the history information if it is appropriate to do so.  */
   if (write_history_p && history_filename)