diff options
| author | Pascal Obry <obry@adacore.com> | 2007-12-13 11:26:21 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2007-12-13 11:26:21 +0100 |
| commit | 38386aaec109fea3f18074d81894ae16452e47ff (patch) | |
| tree | 88f3ddf7bab2eace0ad34aeccf1a64c204f27603 | |
| parent | 80b992aecd2dbd7c9fb80807016b26af334588ec (diff) | |
| download | gcc-38386aaec109fea3f18074d81894ae16452e47ff.zip gcc-38386aaec109fea3f18074d81894ae16452e47ff.tar.gz gcc-38386aaec109fea3f18074d81894ae16452e47ff.tar.bz2 | |
expect.c (__gnat_kill): Implement the SIGINT signal on Windows.
2007-12-06 Pascal Obry <obry@adacore.com>
* expect.c (__gnat_kill) [WIN32]: Implement the SIGINT signal on
Windows. This signal is used by gnatmake to kill child processes for
example.
From-SVN: r130836
| -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 |