Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ignore SIGINT in waiting wrapper process;
authorwenzelm
Wed, 09 Mar 2016 20:11:25 +0100
changeset 62575 590df5f4e531
parent 62574 ec382bc689e5
child 62576 26179aa33fe7
ignore SIGINT in waiting wrapper process; proper "bash_process.c" and "build" within component;
Admin/bash_process/bash_process.c file | annotate | diff | comparison | revisions
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/bash_process/bash_process.c	Wed Mar 09 19:52:17 2016 +0100
+++ b/Admin/bash_process/bash_process.c	Wed Mar 09 20:11:25 2016 +0100
@@ -3,6 +3,7 @@
 Bash process with separate process group id.
 */
 
+#include <signal.h>
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
@@ -56,6 +57,12 @@
     else if (pid != 0) {
       int status;
 
+      // ingore SIGINT
+      struct sigaction sa;
+      memset(&sa, 0, sizeof(sa));
+      sa.sa_handler = SIG_IGN;
+      sigaction(SIGINT, &sa, 0);
+
       if (waitpid(pid, &status, 0) == -1) {
         fail("Cannot join forked process");
       }
--- a/Admin/components/components.sha1	Wed Mar 09 19:52:17 2016 +0100
+++ b/Admin/components/components.sha1	Wed Mar 09 20:11:25 2016 +0100
@@ -1,5 +1,6 @@
 fbe83b522cb37748ac1b3c943ad71704fdde2f82  bash_process-1.1.1.tar.gz
 bb9ef498cd594b4289221b96146d529c899da209  bash_process-1.1.tar.gz
+81250148f8b89ac3587908fb20645081d7f53207  bash_process-1.2.1.tar.gz
 9e21f447bfa0431ae5097301d553dd6df3c58218  bash_process-1.2.tar.gz
 70105fd6fbfd1a868383fc510772b95234325d31  csdp-6.x.tar.gz
 2f6417b8e96a0e4e8354fe0f1a253c18fb55d9a7  cvc3-2.4.1.tar.gz
--- a/Admin/components/main	Wed Mar 09 19:52:17 2016 +0100
+++ b/Admin/components/main	Wed Mar 09 20:11:25 2016 +0100
@@ -1,5 +1,5 @@
 #main components for everyday use, without big impact on overall build time
-bash_process-1.2
+bash_process-1.2.1
 csdp-6.x
 cvc4-1.5pre-3
 e-1.8
isabelle