diff options
Diffstat (limited to 'src/user/kill.cc')
| -rw-r--r-- | src/user/kill.cc | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/src/user/kill.cc b/src/user/kill.cc new file mode 100644 index 0000000..18b7f02 --- /dev/null +++ b/src/user/kill.cc @@ -0,0 +1,23 @@ +#include "ulib/stdio.h" +#include "ulib/stdlib.h" +#include "user/user.h" + +int main(int argc, char *argv[]) +{ + int i; + + if (argc < 2) + { + printf("Usage: kill pid...\n"); + exit(1); + } + for (i = 1; i < argc; i++) + { + int pid = atoi(argv[i]); + if (kill(pid) < 0) + { + printf("kill: failed to kill %d\n", pid); + } + } + exit(0); +}
\ No newline at end of file |
