usr/kill.c


1
2
3
4
5
6
7
8
9
10

#include "gbos.h"
/* kill <pid>: terminate a process (pid 1 is immortal). */
void main(void) {
    char *argv[4];
    unsigned char argc = argv_parse(argv, 4);
    unsigned char pid;
    if (argc < 1) { puts("usage: kill <pid>"); nl(); return; }
    pid = atou(argv[0]);
    if (kill(pid)) { puts("kill: no such pid (or immortal)"); nl(); }
}