bug#10107: 23.2; Add command gud-quit

[Lars Ingebrigtsen]

Eli Zaretskii <eliz@gnu.org> writes:

>> delete-process is more general (works on all process-like things) and
>> therefore seems more useful as a user-level command.
>
> But the OP wanted to kill only real subprocesses, no?

The OP only wanted a command for gud buffers, but I think that if we
want to have a command here, we should make it generally useful.  And
I don't see any downsides to using delete-process instead of
kill-process here, but perhaps I'm overlooking something?

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no