{
kill(pid, SIGKILL);
kill(pid, SIGCONT);
- do {
- int n;
- CATCH_EINTR(n = waitpid(pid, NULL, 0));
- if (n > 0)
- kill(pid, SIGCONT);
- else
- break;
- } while(1);
+ while(waitpid(pid, NULL, 0) > 0) kill(pid, SIGCONT);
}
/* Unlocked - don't care if this is a bit off */
void do_longjmp(void *b, int val)
{
- sigjmp_buf *buf = b;
+ jmp_buf *buf = b;
siglongjmp(*buf, val);
}