OSDN Git Service

2007-12-06 Pascal Obry <obry@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 13 Dec 2007 10:26:21 +0000 (10:26 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 13 Dec 2007 10:26:21 +0000 (10:26 +0000)
* expect.c (__gnat_kill) [WIN32]: Implement the SIGINT signal on
Windows. This signal is used by gnatmake to kill child processes for
example.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@130836 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/ada/expect.c

index a909232..aa18a33 100644 (file)
@@ -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