/mandos/release

To get this branch, use:
bzr branch http://bzr.recompile.se/loggerhead/mandos/release

« back to all changes in this revision

Viewing changes to plugin-runner.c

  • Committer: Teddy Hogeborn
  • Date: 2015-07-07 15:49:49 UTC
  • mto: (237.7.594 trunk)
  • mto: This revision was merged to the branch mainline in revision 325.
  • Revision ID: teddy@recompile.se-20150707154949-vbuj4pc6wf3o1vgz
mandos.service: Use Type=dbus (implicitly).

mandos.service ([Service]/Type): Removed.
               ([Service]/BusName): Uncommented; set to
                                    "se.recompile.Mandos".

Show diffs side-by-side

added added

removed removed

Lines of Context:
2
2
/*
3
3
 * Mandos plugin runner - Run Mandos plugins
4
4
 *
5
 
 * Copyright © 2008-2021 Teddy Hogeborn
6
 
 * Copyright © 2008-2021 Björn Påhlsson
7
 
 * 
8
 
 * This file is part of Mandos.
9
 
 * 
10
 
 * Mandos is free software: you can redistribute it and/or modify it
11
 
 * under the terms of the GNU General Public License as published by
12
 
 * the Free Software Foundation, either version 3 of the License, or
13
 
 * (at your option) any later version.
14
 
 * 
15
 
 * Mandos is distributed in the hope that it will be useful, but
 
5
 * Copyright © 2008-2014 Teddy Hogeborn
 
6
 * Copyright © 2008-2014 Björn Påhlsson
 
7
 * 
 
8
 * This program is free software: you can redistribute it and/or
 
9
 * modify it under the terms of the GNU General Public License as
 
10
 * published by the Free Software Foundation, either version 3 of the
 
11
 * License, or (at your option) any later version.
 
12
 * 
 
13
 * This program is distributed in the hope that it will be useful, but
16
14
 * WITHOUT ANY WARRANTY; without even the implied warranty of
17
15
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
18
16
 * General Public License for more details.
19
17
 * 
20
18
 * You should have received a copy of the GNU General Public License
21
 
 * along with Mandos.  If not, see <http://www.gnu.org/licenses/>.
 
19
 * along with this program.  If not, see
 
20
 * <http://www.gnu.org/licenses/>.
22
21
 * 
23
22
 * Contact the authors at <mandos@recompile.se>.
24
23
 */
25
24
 
26
 
#define _GNU_SOURCE             /* strchrnul(), TEMP_FAILURE_RETRY(),
27
 
                                   getline(), asprintf(), O_CLOEXEC,
28
 
                                   scandirat(), pipe2() */
29
 
#include <argp.h>               /* argp_program_version,
30
 
                                   argp_program_bug_address,
31
 
                                   struct argp_option,
32
 
                                   struct argp_state, argp_error(),
33
 
                                   ARGP_NO_EXIT, argp_state_help,
34
 
                                   ARGP_HELP_STD_HELP,
35
 
                                   ARGP_HELP_USAGE, ARGP_HELP_EXIT_OK,
36
 
                                   ARGP_KEY_ARG, ARGP_ERR_UNKNOWN,
37
 
                                   struct argp, argp_parse(),
38
 
                                   ARGP_IN_ORDER, ARGP_NO_HELP */
39
 
#include <stdbool.h>            /* bool, false, true */
40
 
#include <sys/types.h>          /* pid_t, sig_atomic_t, uid_t, gid_t,
41
 
                                   getuid(), setgid(), setuid() */
 
25
#define _GNU_SOURCE             /* TEMP_FAILURE_RETRY(), getline(),
 
26
                                   O_CLOEXEC, pipe2() */
42
27
#include <stddef.h>             /* size_t, NULL */
43
 
#include <iso646.h>             /* or, and, not */
44
 
#include <string.h>             /* strcmp(), strdup(), strchrnul(),
45
 
                                   strncmp(), strlen(), strcpy(),
46
 
                                   strsep(), strchr(), strsignal() */
47
 
#include <stdlib.h>             /* malloc(), free(), reallocarray(),
48
 
                                   realloc(), EXIT_SUCCESS */
49
 
#include <errno.h>              /* errno, EINTR, ENOMEM, ECHILD,
50
 
                                   error_t, EINVAL, EMFILE, ENFILE,
51
 
                                   ENOENT, ESRCH */
52
 
#include <stdint.h>             /* SIZE_MAX */
53
 
#define _GNU_SOURCE             /* strchrnul(), TEMP_FAILURE_RETRY(),
54
 
                                   getline(), asprintf(), O_CLOEXEC,
55
 
                                   scandirat(), pipe2() */
56
 
#include <unistd.h>             /* TEMP_FAILURE_RETRY(), ssize_t,
57
 
                                   write(), STDOUT_FILENO, uid_t,
58
 
                                   gid_t, getuid(), fchown(), close(),
59
 
                                   symlink(), setgid(), setuid(),
60
 
                                   faccessat(), X_OK, pipe(), pipe2(),
61
 
                                   fork(), _exit(), dup2(), fexecve(),
62
 
                                   read(), getpass() */
 
28
#include <stdlib.h>             /* malloc(), exit(), EXIT_SUCCESS,
 
29
                                   realloc() */
 
30
#include <stdbool.h>            /* bool, true, false */
 
31
#include <stdio.h>              /* fileno(), fprintf(),
 
32
                                   stderr, STDOUT_FILENO, fclose() */
 
33
#include <sys/types.h>          /* fstat(), struct stat, waitpid(),
 
34
                                   WIFEXITED(), WEXITSTATUS(), wait(),
 
35
                                   pid_t, uid_t, gid_t, getuid(),
 
36
                                   getgid() */
 
37
#include <sys/select.h>         /* fd_set, select(), FD_ZERO(),
 
38
                                   FD_SET(), FD_ISSET(), FD_CLR */
 
39
#include <sys/wait.h>           /* wait(), waitpid(), WIFEXITED(),
 
40
                                   WEXITSTATUS(), WTERMSIG(),
 
41
                                   WCOREDUMP() */
 
42
#include <sys/stat.h>           /* struct stat, fstat(), S_ISREG() */
 
43
#include <iso646.h>             /* and, or, not */
 
44
#include <dirent.h>             /* struct dirent, scandirat() */
 
45
#include <unistd.h>             /* fcntl(), F_GETFD, F_SETFD,
 
46
                                   FD_CLOEXEC, write(), STDOUT_FILENO,
 
47
                                   struct stat, fstat(), close(),
 
48
                                   setgid(), setuid(), S_ISREG(),
 
49
                                   faccessat() pipe2(), fork(),
 
50
                                   _exit(), dup2(), fexecve(), read()
 
51
                                */
63
52
#include <fcntl.h>              /* fcntl(), F_GETFD, F_SETFD,
64
 
                                   FD_CLOEXEC, open(), O_RDONLY,
65
 
                                   O_CLOEXEC, openat() */
66
 
#include <sys/wait.h>           /* waitpid(), WNOHANG, WIFEXITED(),
67
 
                                   WEXITSTATUS(), WIFSIGNALED(),
68
 
                                   WTERMSIG(), wait() */
69
 
#include <error.h>              /* error() */
70
 
#include <stdio.h>              /* FILE, fprintf(), fopen(),
71
 
                                   getline(), fclose(), EOF,
72
 
                                   asprintf(), stderr */
73
 
#include <dirent.h>             /* struct dirent, scandirat(),
74
 
                                   alphasort() */
75
 
#include <sys/stat.h>           /* struct stat, fstat(), S_ISDIR(),
76
 
                                   lstat(), S_ISREG() */
77
 
#include <sys/select.h>         /* fd_set, FD_ZERO(), FD_SETSIZE,
78
 
                                   FD_SET(), select(), FD_CLR(),
79
 
                                   FD_ISSET() */
80
 
#include <signal.h>             /* struct sigaction, SA_NOCLDSTOP,
81
 
                                   sigemptyset(), sigaddset(),
82
 
                                   SIGCHLD, sigprocmask(), SIG_BLOCK,
83
 
                                   SIG_UNBLOCK, kill(), SIGTERM */
 
53
                                   FD_CLOEXEC, openat(), scandirat(),
 
54
                                   pipe2() */
 
55
#include <string.h>             /* strsep, strlen(), strsignal(),
 
56
                                   strcmp(), strncmp() */
 
57
#include <errno.h>              /* errno */
 
58
#include <argp.h>               /* struct argp_option, struct
 
59
                                   argp_state, struct argp,
 
60
                                   argp_parse(), ARGP_ERR_UNKNOWN,
 
61
                                   ARGP_KEY_END, ARGP_KEY_ARG,
 
62
                                   error_t */
 
63
#include <signal.h>             /* struct sigaction, sigemptyset(),
 
64
                                   sigaddset(), sigaction(),
 
65
                                   sigprocmask(), SIG_BLOCK, SIGCHLD,
 
66
                                   SIG_UNBLOCK, kill(), sig_atomic_t
 
67
                                */
 
68
#include <errno.h>              /* errno, EBADF */
 
69
#include <inttypes.h>           /* intmax_t, PRIdMAX, strtoimax() */
84
70
#include <sysexits.h>           /* EX_OSERR, EX_USAGE, EX_IOERR,
85
71
                                   EX_CONFIG, EX_UNAVAILABLE, EX_OK */
86
 
#include <inttypes.h>           /* intmax_t, strtoimax(), PRIdMAX */
87
 
#include <fnmatch.h>            /* fnmatch(), FNM_FILE_NAME,
88
 
                                   FNM_PERIOD, FNM_NOMATCH */
 
72
#include <errno.h>              /* errno */
 
73
#include <error.h>              /* error() */
 
74
#include <fnmatch.h>            /* fnmatch() */
89
75
 
90
76
#define BUFFER_SIZE 256
91
77
 
193
179
  /* Resize the pointed-to array to hold one more pointer */
194
180
  char **new_array = NULL;
195
181
  do {
196
 
#if defined(__GLIBC_PREREQ) and __GLIBC_PREREQ(2, 26)
197
 
    new_array = reallocarray(*array, (size_t)((*len) + 2),
198
 
                             sizeof(char *));
199
 
#else
200
 
    if(((size_t)((*len) + 2)) > (SIZE_MAX / sizeof(char *))){
201
 
      /* overflow */
202
 
      new_array = NULL;
203
 
      errno = ENOMEM;
204
 
    } else {
205
 
      new_array = realloc(*array, (size_t)((*len) + 2)
206
 
                          * sizeof(char *));
207
 
    }
208
 
#endif
 
182
    new_array = realloc(*array, sizeof(char *)
 
183
                        * (size_t) ((*len) + 2));
209
184
  } while(new_array == NULL and errno == EINTR);
210
185
  /* Malloc check */
211
186
  if(new_array == NULL){
338
313
__attribute__((nonnull))
339
314
static void free_plugin(plugin *plugin_node){
340
315
  
341
 
  for(char **arg = (plugin_node->argv)+1; *arg != NULL; arg++){
 
316
  for(char **arg = plugin_node->argv; *arg != NULL; arg++){
342
317
    free(*arg);
343
318
  }
344
 
  free(plugin_node->name);
345
319
  free(plugin_node->argv);
346
320
  for(char **env = plugin_node->environ; *env != NULL; env++){
347
321
    free(*env);
590
564
    case '?':                   /* --help */
591
565
      state->flags &= ~(unsigned int)ARGP_NO_EXIT; /* force exit */
592
566
      argp_state_help(state, state->out_stream, ARGP_HELP_STD_HELP);
593
 
      __builtin_unreachable();
594
567
    case -3:                    /* --usage */
595
568
      state->flags &= ~(unsigned int)ARGP_NO_EXIT; /* force exit */
596
569
      argp_state_help(state, state->out_stream,
597
570
                      ARGP_HELP_USAGE | ARGP_HELP_EXIT_OK);
598
 
      __builtin_unreachable();
599
571
    case 'V':                   /* --version */
600
572
      fprintf(state->out_stream, "%s\n", argp_program_version);
601
573
      exit(EXIT_SUCCESS);
611
583
      if(arg[0] == '\0'){
612
584
        break;
613
585
      }
614
 
#if __GNUC__ >= 7
615
 
      __attribute__((fallthrough));
616
 
#else
617
 
          /* FALLTHROUGH */
618
 
#endif
619
586
    default:
620
587
      return ARGP_ERR_UNKNOWN;
621
588
    }
733
700
        
734
701
        custom_argc += 1;
735
702
        {
736
 
#if defined(__GLIBC_PREREQ) and __GLIBC_PREREQ(2, 26)
737
 
          char **new_argv = reallocarray(custom_argv,
738
 
                                         (size_t)custom_argc + 1,
739
 
                                         sizeof(char *));
740
 
#else
741
 
          char **new_argv = NULL;
742
 
          if(((size_t)custom_argc + 1) > (SIZE_MAX / sizeof(char *))){
743
 
            /* overflow */
744
 
            errno = ENOMEM;
745
 
          } else {
746
 
            new_argv = realloc(custom_argv, ((size_t)custom_argc + 1)
747
 
                               * sizeof(char *));
748
 
          }
749
 
#endif
 
703
          char **new_argv = realloc(custom_argv, sizeof(char *)
 
704
                                    * ((unsigned int)
 
705
                                       custom_argc + 1));
750
706
          if(new_argv == NULL){
751
 
            error(0, errno, "reallocarray");
 
707
            error(0, errno, "realloc");
752
708
            exitstatus = EX_OSERR;
753
709
            free(new_arg);
754
710
            free(org_line);
838
794
  }
839
795
  
840
796
  if(debug){
841
 
    for(plugin *p = plugin_list; p != NULL; p = p->next){
 
797
    for(plugin *p = plugin_list; p != NULL; p=p->next){
842
798
      fprintf(stderr, "Plugin: %s has %d arguments\n",
843
799
              p->name ? p->name : "Global", p->argc - 1);
844
800
      for(char **a = p->argv; *a != NULL; a++){
853
809
  
854
810
  if(getuid() == 0){
855
811
    /* Work around Debian bug #633582:
856
 
       <https://bugs.debian.org/633582> */
 
812
       <http://bugs.debian.org/633582> */
857
813
    int plugindir_fd = open(/* plugindir or */ PDIR, O_RDONLY);
858
814
    if(plugindir_fd == -1){
859
815
      if(errno != ENOENT){
871
827
          }
872
828
        }
873
829
      }
874
 
      close(plugindir_fd);
875
 
    }
876
 
 
877
 
    /* Work around Debian bug #981302
878
 
       <https://bugs.debian.org/981302> */
879
 
    if(lstat("/dev/fd", &st) != 0 and errno == ENOENT){
880
 
      ret = symlink("/proc/self/fd", "/dev/fd");
881
 
      if(ret == -1){
882
 
        error(0, errno, "Failed to create /dev/fd symlink");
883
 
      }
 
830
      TEMP_FAILURE_RETRY(close(plugindir_fd));
884
831
    }
885
832
  }
886
833
  
945
892
    return 1;
946
893
  }
947
894
  
 
895
#ifdef __GLIBC__
 
896
#if __GLIBC_PREREQ(2, 15)
948
897
  int numplugins = scandirat(dir_fd, ".", &direntries, good_name,
949
898
                             alphasort);
 
899
#else  /* not __GLIBC_PREREQ(2, 15) */
 
900
  int numplugins = scandir(plugindir != NULL ? plugindir : PDIR,
 
901
                           &direntries, good_name, alphasort);
 
902
#endif  /* not __GLIBC_PREREQ(2, 15) */
 
903
#else   /* not __GLIBC__ */
 
904
  int numplugins = scandir(plugindir != NULL ? plugindir : PDIR,
 
905
                           &direntries, good_name, alphasort);
 
906
#endif  /* not __GLIBC__ */
950
907
  if(numplugins == -1){
951
908
    error(0, errno, "Could not scan plugin dir");
952
909
    direntries = NULL;
968
925
    ret = (int)TEMP_FAILURE_RETRY(fstat(plugin_fd, &st));
969
926
    if(ret == -1){
970
927
      error(0, errno, "stat");
971
 
      close(plugin_fd);
 
928
      TEMP_FAILURE_RETRY(close(plugin_fd));
972
929
      free(direntries[i]);
973
930
      continue;
974
931
    }
983
940
                plugindir != NULL ? plugindir : PDIR,
984
941
                direntries[i]->d_name);
985
942
      }
986
 
      close(plugin_fd);
 
943
      TEMP_FAILURE_RETRY(close(plugin_fd));
987
944
      free(direntries[i]);
988
945
      continue;
989
946
    }
991
948
    plugin *p = getplugin(direntries[i]->d_name);
992
949
    if(p == NULL){
993
950
      error(0, errno, "getplugin");
994
 
      close(plugin_fd);
 
951
      TEMP_FAILURE_RETRY(close(plugin_fd));
995
952
      free(direntries[i]);
996
953
      continue;
997
954
    }
1000
957
        fprintf(stderr, "Ignoring disabled plugin \"%s\"\n",
1001
958
                direntries[i]->d_name);
1002
959
      }
1003
 
      close(plugin_fd);
 
960
      TEMP_FAILURE_RETRY(close(plugin_fd));
1004
961
      free(direntries[i]);
1005
962
      continue;
1006
963
    }
1046
1003
    if(pipefd[0] >= FD_SETSIZE){
1047
1004
      fprintf(stderr, "pipe()[0] (%d) >= FD_SETSIZE (%d)", pipefd[0],
1048
1005
              FD_SETSIZE);
1049
 
      close(pipefd[0]);
1050
 
      close(pipefd[1]);
 
1006
      TEMP_FAILURE_RETRY(close(pipefd[0]));
 
1007
      TEMP_FAILURE_RETRY(close(pipefd[1]));
1051
1008
      exitstatus = EX_OSERR;
1052
1009
      free(direntries[i]);
1053
1010
      goto fallback;
1057
1014
    ret = set_cloexec_flag(pipefd[0]);
1058
1015
    if(ret < 0){
1059
1016
      error(0, errno, "set_cloexec_flag");
1060
 
      close(pipefd[0]);
1061
 
      close(pipefd[1]);
 
1017
      TEMP_FAILURE_RETRY(close(pipefd[0]));
 
1018
      TEMP_FAILURE_RETRY(close(pipefd[1]));
1062
1019
      exitstatus = EX_OSERR;
1063
1020
      free(direntries[i]);
1064
1021
      goto fallback;
1066
1023
    ret = set_cloexec_flag(pipefd[1]);
1067
1024
    if(ret < 0){
1068
1025
      error(0, errno, "set_cloexec_flag");
1069
 
      close(pipefd[0]);
1070
 
      close(pipefd[1]);
 
1026
      TEMP_FAILURE_RETRY(close(pipefd[0]));
 
1027
      TEMP_FAILURE_RETRY(close(pipefd[1]));
1071
1028
      exitstatus = EX_OSERR;
1072
1029
      free(direntries[i]);
1073
1030
      goto fallback;
1092
1049
      error(0, errno, "fork");
1093
1050
      TEMP_FAILURE_RETRY(sigprocmask(SIG_UNBLOCK,
1094
1051
                                     &sigchld_action.sa_mask, NULL));
1095
 
      close(pipefd[0]);
1096
 
      close(pipefd[1]);
 
1052
      TEMP_FAILURE_RETRY(close(pipefd[0]));
 
1053
      TEMP_FAILURE_RETRY(close(pipefd[1]));
1097
1054
      exitstatus = EX_OSERR;
1098
1055
      free(direntries[i]);
1099
1056
      goto fallback;
1127
1084
      /* no return */
1128
1085
    }
1129
1086
    /* Parent process */
1130
 
    close(pipefd[1]);           /* Close unused write end of pipe */
1131
 
    close(plugin_fd);
 
1087
    TEMP_FAILURE_RETRY(close(pipefd[1])); /* Close unused write end of
 
1088
                                             pipe */
 
1089
    TEMP_FAILURE_RETRY(close(plugin_fd));
1132
1090
    plugin *new_plugin = getplugin(direntries[i]->d_name);
1133
1091
    if(new_plugin == NULL){
1134
1092
      error(0, errno, "getplugin");
1146
1104
    
1147
1105
    new_plugin->pid = pid;
1148
1106
    new_plugin->fd = pipefd[0];
1149
 
 
1150
 
    if(debug){
1151
 
      fprintf(stderr, "Plugin %s started (PID %" PRIdMAX ")\n",
1152
 
              new_plugin->name, (intmax_t) (new_plugin->pid));
1153
 
    }
1154
 
 
 
1107
    
1155
1108
    /* Unblock SIGCHLD so signal handler can be run if this process
1156
1109
       has already completed */
1157
1110
    ret = (int)TEMP_FAILURE_RETRY(sigprocmask(SIG_UNBLOCK,
1163
1116
      goto fallback;
1164
1117
    }
1165
1118
    
1166
 
    FD_SET(new_plugin->fd, &rfds_all);
 
1119
#if defined (__GNUC__) and defined (__GLIBC__)
 
1120
#if not __GLIBC_PREREQ(2, 16)
 
1121
#pragma GCC diagnostic push
 
1122
#pragma GCC diagnostic ignored "-Wsign-conversion"
 
1123
#endif
 
1124
#endif
 
1125
    FD_SET(new_plugin->fd, &rfds_all); /* Spurious warning from
 
1126
                                          -Wconversion in GNU libc
 
1127
                                          before 2.16 */
 
1128
#if defined (__GNUC__) and defined (__GLIBC__)
 
1129
#if not __GLIBC_PREREQ(2, 16)
 
1130
#pragma GCC diagnostic pop
 
1131
#endif
 
1132
#endif
1167
1133
    
1168
1134
    if(maxfd < new_plugin->fd){
1169
1135
      maxfd = new_plugin->fd;
1172
1138
  
1173
1139
  free(direntries);
1174
1140
  direntries = NULL;
1175
 
  close(dir_fd);
 
1141
  TEMP_FAILURE_RETRY(close(dir_fd));
1176
1142
  dir_fd = -1;
1177
1143
  free_plugin(getplugin(NULL));
1178
1144
  
1218
1184
                      (intmax_t) (proc->pid),
1219
1185
                      WTERMSIG(proc->status),
1220
1186
                      strsignal(WTERMSIG(proc->status)));
 
1187
            } else if(WCOREDUMP(proc->status)){
 
1188
              fprintf(stderr, "Plugin %s [%" PRIdMAX "] dumped"
 
1189
                      " core\n", proc->name, (intmax_t) (proc->pid));
1221
1190
            }
1222
1191
          }
1223
1192
          
1224
1193
          /* Remove the plugin */
1225
 
          FD_CLR(proc->fd, &rfds_all);
 
1194
#if defined (__GNUC__) and defined (__GLIBC__)
 
1195
#if not __GLIBC_PREREQ(2, 16)
 
1196
#pragma GCC diagnostic push
 
1197
#pragma GCC diagnostic ignored "-Wsign-conversion"
 
1198
#endif
 
1199
#endif
 
1200
          FD_CLR(proc->fd, &rfds_all); /* Spurious warning from
 
1201
                                          -Wconversion in GNU libc
 
1202
                                          before 2.16 */
 
1203
#if defined (__GNUC__) and defined (__GLIBC__)
 
1204
#if not __GLIBC_PREREQ(2, 16)
 
1205
#pragma GCC diagnostic pop
 
1206
#endif
 
1207
#endif
1226
1208
          
1227
1209
          /* Block signal while modifying process_list */
1228
1210
          ret = (int)TEMP_FAILURE_RETRY(sigprocmask
1268
1250
      }
1269
1251
      
1270
1252
      /* This process has not completed.  Does it have any output? */
1271
 
      if(proc->eof or not FD_ISSET(proc->fd, &rfds)){
 
1253
#if defined (__GNUC__) and defined (__GLIBC__)
 
1254
#if not __GLIBC_PREREQ(2, 16)
 
1255
#pragma GCC diagnostic push
 
1256
#pragma GCC diagnostic ignored "-Wsign-conversion"
 
1257
#endif
 
1258
#endif
 
1259
      if(proc->eof or not FD_ISSET(proc->fd, &rfds)){ /* Spurious
 
1260
                                                         warning from
 
1261
                                                         -Wconversion
 
1262
                                                         in GNU libc
 
1263
                                                         before
 
1264
                                                         2.16 */
 
1265
#if defined (__GNUC__) and defined (__GLIBC__)
 
1266
#if not __GLIBC_PREREQ(2, 16)
 
1267
#pragma GCC diagnostic pop
 
1268
#endif
 
1269
#endif
1272
1270
        /* This process had nothing to say at this time */
1273
1271
        proc = proc->next;
1274
1272
        continue;
1344
1342
  free(direntries);
1345
1343
  
1346
1344
  if(dir_fd != -1){
1347
 
    close(dir_fd);
 
1345
    TEMP_FAILURE_RETRY(close(dir_fd));
1348
1346
  }
1349
1347
  
1350
1348
  /* Kill the processes */