equal
deleted
inserted
replaced
51 void error (int fd, int err) { |
51 void error (int fd, int err) { |
52 write (fd, &err, sizeof(err)); |
52 write (fd, &err, sizeof(err)); |
53 exit (1); |
53 exit (1); |
54 } |
54 } |
55 |
55 |
56 void shutItDown() { |
56 void shutItDown(void) { |
57 fprintf(stdout, "This command is not for general use and should "); |
57 fprintf(stdout, "This command is not for general use and should "); |
58 fprintf(stdout, "only be run as the result of a call to\n"); |
58 fprintf(stdout, "only be run as the result of a call to\n"); |
59 fprintf(stdout, "ProcessBuilder.start() or Runtime.exec() in a java "); |
59 fprintf(stdout, "ProcessBuilder.start() or Runtime.exec() in a java "); |
60 fprintf(stdout, "application\n"); |
60 fprintf(stdout, "application\n"); |
61 _exit(1); |
61 _exit(1); |