diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-11-13 14:18:02 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-11-13 14:18:02 +0100 |
| commit | 9ba9f4c015030ddc1d94c5529c503ab45cdfbd38 (patch) | |
| tree | 81d0d2ca1432cdfb9453e6af8b8391c0262558f7 /gcc/ada/adaint.c | |
| parent | e4779ba467b9e46298e8d7e9720d36928df10994 (diff) | |
| download | gcc-9ba9f4c015030ddc1d94c5529c503ab45cdfbd38.zip gcc-9ba9f4c015030ddc1d94c5529c503ab45cdfbd38.tar.gz gcc-9ba9f4c015030ddc1d94c5529c503ab45cdfbd38.tar.bz2 | |
[multiple changes]
2015-11-13 Hristian Kirtchev <kirtchev@adacore.com>
* exp_attr.adb: Minor reformatting.
2015-11-13 Pascal Obry <obry@adacore.com>
* adaint.c: Ensure that it is possible to get killed process
status on Windows.
From-SVN: r230318
Diffstat (limited to 'gcc/ada/adaint.c')
| -rw-r--r-- | gcc/ada/adaint.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gcc/ada/adaint.c b/gcc/ada/adaint.c index 5fef49c..1c6d323 100644 --- a/gcc/ada/adaint.c +++ b/gcc/ada/adaint.c @@ -3200,8 +3200,7 @@ __gnat_kill (int pid, int sig, int close ATTRIBUTE_UNUSED) return; if (sig == 9) { - TerminateProcess (h, 0); - __gnat_win32_remove_handle (NULL, pid); + TerminateProcess (h, 1); } else if (sig == SIGINT) GenerateConsoleCtrlEvent (CTRL_C_EVENT, pid); |