|
From: | Michael Goffioul |
Subject: | Re: Win32 CTRL-C handling (Was: interrupt handing and the GUI (bug #37672)) |
Date: | Thu, 21 Nov 2013 14:49:02 -0500 |
On 11/21/2013 11:10 AM, Michael Goffioul wrote:Sorry, I know you've mentioned that before. I meant to report what I was seeing.
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.
I've looked, but I don't see how bash is reacting to Ctrl-C on Windows systems when it is using readline.
[Prev in Thread] | Current Thread | [Next in Thread] |