Get a weird problem out of the way for now

See #31
parent a17ef049
......@@ -717,7 +717,8 @@ forkrun(const struct tc *tc, double killafter, void *t_priv)
DBG("killtimer %f", killafter);
i = sigtimedwait(&mask, NULL, &timeo);
if (i < 0) {
assert(errno == EAGAIN);
// XXX WHY EINTR? #31
assert(errno == EAGAIN || errno == EINTR);
i = kill(pid, SIGABRT);
assert(i == 0 || i == ESRCH);
}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment