[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Ada-mode-users] [Piotr Trojanek] [ada-mode] Light gpr_query.adb pat
From: |
Stephen Leake |
Subject: |
Re: [Ada-mode-users] [Piotr Trojanek] [ada-mode] Light gpr_query.adb patch |
Date: |
Thu, 23 Nov 2017 20:58:23 -0600 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.1 (windows-nt) |
Piotr Trojanek <address@hidden> writes:
> On Wed, Nov 22, 2017 at 6:47 PM, Stephen Leake
> <address@hidden> wrote:
>>> From: Piotr Trojanek <address@hidden>
>>
>>> with the attached patch the gpr_query gracefully terminates on Ctrl-D
>>> instead of crashing.
>>
>> What Emacs command sends a C-d to the gpr_query process?
>
> None, I guess, but I was sending it while experimenting from the console.
Ok, but that's what the "exit" command is for.
I guess it's reasonable to expect programs that prompt for input to
handle C-d (= ASCII EOT = end of text) nicely.
--
-- Stephe