diff options
| -rw-r--r-- | gcc/ada/expect.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/ada/expect.c b/gcc/ada/expect.c index a909232..aa18a33 100644 --- a/gcc/ada/expect.c +++ b/gcc/ada/expect.c @@ -93,6 +93,12 @@ __gnat_kill (int pid, int sig, int close) CloseHandle ((HANDLE)pid); } } + else if (sig == 2) + { + GenerateConsoleCtrlEvent (CTRL_C_EVENT, (HANDLE)pid); + if (close) + CloseHandle ((HANDLE)pid); + } } int |