bin/kill/kill.c

190

if (processnum(*argv, &pid) != 0) {

bin/kill/kill.c

69

static int processnum(const char *, pid_t *);

games/warp/score.c

125

if (kill(processnum, SIGQUIT)) {

games/warp/score.c

126

printf("Unable to kill process #%d!\r\n",processnum);

games/warp/score.c

131

kill(processnum, SIGCONT);

games/warp/score.c

135

if (kill(processnum,SIGINT))

games/warp/score.c

75

int processnum;

games/warp/score.c

81

processnum = atoi(s+11);

games/warp/score.c

82

if (kill(processnum, SIGINT)) {