ignore SIGINT in waiting wrapper process;
authorwenzelm
Wed Mar 09 20:11:25 2016 +0100 (2016-03-09)
changeset 62575590df5f4e531
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
Admin/components/components.sha1
Admin/components/main
     1.1 --- a/Admin/bash_process/bash_process.c	Wed Mar 09 19:52:17 2016 +0100
     1.2 +++ b/Admin/bash_process/bash_process.c	Wed Mar 09 20:11:25 2016 +0100
     1.3 @@ -3,6 +3,7 @@
     1.4  Bash process with separate process group id.
     1.5  */
     1.6  
     1.7 +#include <signal.h>
     1.8  #include <stdio.h>
     1.9  #include <stdlib.h>
    1.10  #include <string.h>
    1.11 @@ -56,6 +57,12 @@
    1.12      else if (pid != 0) {
    1.13        int status;
    1.14  
    1.15 +      // ingore SIGINT
    1.16 +      struct sigaction sa;
    1.17 +      memset(&sa, 0, sizeof(sa));
    1.18 +      sa.sa_handler = SIG_IGN;
    1.19 +      sigaction(SIGINT, &sa, 0);
    1.20 +
    1.21        if (waitpid(pid, &status, 0) == -1) {
    1.22          fail("Cannot join forked process");
    1.23        }
     2.1 --- a/Admin/components/components.sha1	Wed Mar 09 19:52:17 2016 +0100
     2.2 +++ b/Admin/components/components.sha1	Wed Mar 09 20:11:25 2016 +0100
     2.3 @@ -1,5 +1,6 @@
     2.4  fbe83b522cb37748ac1b3c943ad71704fdde2f82  bash_process-1.1.1.tar.gz
     2.5  bb9ef498cd594b4289221b96146d529c899da209  bash_process-1.1.tar.gz
     2.6 +81250148f8b89ac3587908fb20645081d7f53207  bash_process-1.2.1.tar.gz
     2.7  9e21f447bfa0431ae5097301d553dd6df3c58218  bash_process-1.2.tar.gz
     2.8  70105fd6fbfd1a868383fc510772b95234325d31  csdp-6.x.tar.gz
     2.9  2f6417b8e96a0e4e8354fe0f1a253c18fb55d9a7  cvc3-2.4.1.tar.gz
     3.1 --- a/Admin/components/main	Wed Mar 09 19:52:17 2016 +0100
     3.2 +++ b/Admin/components/main	Wed Mar 09 20:11:25 2016 +0100
     3.3 @@ -1,5 +1,5 @@
     3.4  #main components for everyday use, without big impact on overall build time
     3.5 -bash_process-1.2
     3.6 +bash_process-1.2.1
     3.7  csdp-6.x
     3.8  cvc4-1.5pre-3
     3.9  e-1.8