Bug#4375 (can't kill killed gud buffer")

(gdb): Revert 2009-08-11 change.  User should detach inferior
manually.
This commit is contained in:
Nick Roberts 2009-09-10 03:42:13 +00:00
parent 7ab133d169
commit 17b13e732b

View file

@ -752,13 +752,6 @@ detailed description of this mode.
(gdb-update)
(add-hook
'kill-buffer-hook
(function
(lambda ()
(gdb-input (list "-target-detach" 'ignore))))
nil t)
(run-hooks 'gdb-mode-hook))
(defun gdb-init-1 ()