equal
deleted
inserted
replaced
5 |
5 |
6 #include <stdlib.h> |
6 #include <stdlib.h> |
7 #include <stdio.h> |
7 #include <stdio.h> |
8 #include <sys/types.h> |
8 #include <sys/types.h> |
9 #include <unistd.h> |
9 #include <unistd.h> |
10 #include <process.h> |
|
11 |
10 |
12 |
11 |
13 static void fail(const char *msg) |
12 static void fail(const char *msg) |
14 { |
13 { |
15 printf("%s\n", msg); |
14 printf("%s\n", msg); |
50 cmd_line[0] = "/bin/bash"; |
49 cmd_line[0] = "/bin/bash"; |
51 cmd_line[1] = "-c"; |
50 cmd_line[1] = "-c"; |
52 cmd_line[2] = script; |
51 cmd_line[2] = script; |
53 cmd_line[3] = NULL; |
52 cmd_line[3] = NULL; |
54 |
53 |
55 int pid = spawnv(_P_NOWAIT, "/bin/bash", cmd_line); |
54 execv("/bin/bash", cmd_line); |
56 if (pid == -1) fail("Bad process"); |
55 fail("Cannot exec process"); |
57 waitpid(pid); |
|
58 } |
56 } |
59 |
57 |