Admin/Windows/exec_process/exec_process.c
changeset 49447 bec1add86e79
parent 49446 b8d8f738bf63
child 49448 8a232a4e3fd8
equal deleted inserted replaced
49446:b8d8f738bf63 49447:bec1add86e79
     1 /*  Author:     Makarius
       
     2 
       
     3 Bash process group invocation.
       
     4 */
       
     5 
       
     6 #include <stdlib.h>
       
     7 #include <stdio.h>
       
     8 #include <sys/types.h>
       
     9 #include <unistd.h>
       
    10 
       
    11 
       
    12 static void fail(const char *msg)
       
    13 {
       
    14   fprintf(stderr, "%s\n", msg);
       
    15   exit(2);
       
    16 }
       
    17 
       
    18 
       
    19 int main(int argc, char *argv[])
       
    20 {
       
    21   /* args */
       
    22 
       
    23   if (argc != 3) {
       
    24     fprintf(stderr, "Bad arguments\n");
       
    25     exit(1);
       
    26   }
       
    27   char *pid_name = argv[1];
       
    28   char *script = argv[2];
       
    29 
       
    30 
       
    31   /* report pid */
       
    32 
       
    33   FILE *pid_file;
       
    34   pid_file = fopen(pid_name, "w");
       
    35   if (pid_file == NULL) fail("Cannot open pid file");
       
    36   fprintf(pid_file, "%d", getpid());
       
    37   fclose(pid_file);
       
    38 
       
    39 
       
    40   /* setsid */
       
    41 
       
    42   if (getgid() == getpid()) fail("Cannot set session id");
       
    43   setsid();
       
    44 
       
    45 
       
    46   /* exec */
       
    47 
       
    48   char *cmd_line[4];
       
    49   cmd_line[0] = "/bin/bash";
       
    50   cmd_line[1] = "-c";
       
    51   cmd_line[2] = script;
       
    52   cmd_line[3] = NULL;
       
    53 
       
    54   execv("/bin/bash", cmd_line);
       
    55   fail("Cannot exec process");
       
    56 }
       
    57