|
From: | John W. Eaton |
Subject: | Re: Win32 CTRL-C handling (Was: interrupt handing and the GUI (bug #37672)) |
Date: | Thu, 21 Nov 2013 12:54:34 -0500 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20131005 Icedove/17.0.9 |
On 11/21/2013 11:10 AM, Michael Goffioul wrote:
That's a known issue I've already mentioned at least twice :). The problem is that readline uses _getch(), and that Win32 core function disables CTRL-C handling. When you hit CTRL-C while readline is active, _getch() simply returns 0x3, and readline interpret it as a normal key sequence. There's no handler associated with that key sequence by default in readline, so nothing happens.
Sorry, I know you've mentioned that before. I meant to report what I was seeing.
I've looked, but I don't see how bash is reacting to Ctrl-C on Windows systems when it is using readline.
jwe
[Prev in Thread] | Current Thread | [Next in Thread] |