diff options
author | Pascal Obry <obry@adacore.com> | 2015-10-26 11:59:42 +0000 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-26 12:59:42 +0100 |
commit | 3fee081aa9efc529c87f812e1b04d691d8c13c88 (patch) | |
tree | 9b6414d9e4fe15812e6151984b8b7a6a6b800af5 /gcc/ada/expect.c | |
parent | fbf90e543f27ac7ea77df9044ede3e3541f06a18 (diff) | |
download | gcc-3fee081aa9efc529c87f812e1b04d691d8c13c88.zip gcc-3fee081aa9efc529c87f812e1b04d691d8c13c88.tar.gz gcc-3fee081aa9efc529c87f812e1b04d691d8c13c88.tar.bz2 |
s-os_lib.ads, [...] (Kill): New routine.
2015-10-26 Pascal Obry <obry@adacore.com>
* s-os_lib.ads, s-os_lib.adb (Kill): New routine. This routine
makes visible support for killing processes in expect.c.
* expect.c (__gnat_kill): Removed from here.
* adaint.c (__gnat_kill): Added here to be usable in the compiler
(System.OS_Lib).
* make.adb (Sigint_Intercepted): Use the Kill routine from
System.OS_Lib.
From-SVN: r229348
Diffstat (limited to 'gcc/ada/expect.c')
-rw-r--r-- | gcc/ada/expect.c | 42 |
1 files changed, 0 insertions, 42 deletions
diff --git a/gcc/ada/expect.c b/gcc/ada/expect.c index a6c1c8f..4da7018 100644 --- a/gcc/ada/expect.c +++ b/gcc/ada/expect.c @@ -83,29 +83,6 @@ #include <io.h> #include "mingw32.h" -void -__gnat_kill (int pid, int sig, int close) -{ - HANDLE h = OpenProcess (PROCESS_ALL_ACCESS, FALSE, pid); - if (h == NULL) - return; - if (sig == 9) - { - TerminateProcess (h, 0); - __gnat_win32_remove_handle (NULL, pid); - } - else if (sig == SIGINT) - GenerateConsoleCtrlEvent (CTRL_C_EVENT, pid); - else if (sig == SIGBREAK) - GenerateConsoleCtrlEvent (CTRL_BREAK_EVENT, pid); - /* ??? The last two alternatives don't really work. SIGBREAK requires setting - up process groups at start time which we don't do; treating SIGINT is just - not possible apparently. So we really only support signal 9. Fortunately - that's all we use in GNAT.Expect */ - - CloseHandle (h); -} - int __gnat_waitpid (int pid) { @@ -214,12 +191,6 @@ __gnat_expect_poll (int *fd, #include <vms/iodef.h> #include <signal.h> -void -__gnat_kill (int pid, int sig, int close) -{ - kill (pid, sig); -} - int __gnat_waitpid (int pid) { @@ -371,12 +342,6 @@ typedef long fd_mask; #endif /* !_IBMR2 */ #endif /* !NO_FD_SET */ -void -__gnat_kill (int pid, int sig, int close) -{ - kill (pid, sig); -} - int __gnat_waitpid (int pid) { @@ -497,13 +462,6 @@ __gnat_expect_poll (int *fd, #else -void -__gnat_kill (int pid ATTRIBUTE_UNUSED, - int sig ATTRIBUTE_UNUSED, - int close ATTRIBUTE_UNUSED) -{ -} - int __gnat_waitpid (int pid ATTRIBUTE_UNUSED, int sig ATTRIBUTE_UNUSED) { |