diff options
author | Tanaka Akira <akr@users.sourceforge.net> | 1999-08-06 18:01:35 +0000 |
---|---|---|
committer | Tanaka Akira <akr@users.sourceforge.net> | 1999-08-06 18:01:35 +0000 |
commit | 784c413690c71212ad9e08bb093414abd1cacc08 (patch) | |
tree | 450cc9242047dd50255af3b1ef940dae5bb3ab39 /Src/jobs.c | |
parent | 61e68d70da5af5afe943f92cd94a8c96e78348d9 (diff) | |
download | zsh-784c413690c71212ad9e08bb093414abd1cacc08.tar.gz zsh-784c413690c71212ad9e08bb093414abd1cacc08.tar.xz zsh-784c413690c71212ad9e08bb093414abd1cacc08.zip |
zsh-3.1.6-pws-1 zsh-3.1.6-pws-1
Diffstat (limited to 'Src/jobs.c')
-rw-r--r-- | Src/jobs.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Src/jobs.c b/Src/jobs.c index fdf69a960..4b9d66986 100644 --- a/Src/jobs.c +++ b/Src/jobs.c @@ -835,7 +835,11 @@ waitforpid(pid_t pid) /* child_block() around this loop in case #ifndef WNOHANG */ child_block(); /* unblocked in child_suspend() */ +#ifdef BROKEN_KILL_ESRCH + while (!errflag && (kill(pid, 0) >= 0 || (errno != ESRCH && errno != EINVAL))) { +#else /* not BROKEN_KILL_ESRCH */ while (!errflag && (kill(pid, 0) >= 0 || errno != ESRCH)) { +#endif /* BROKEN_KILL_ESRCH */ if (first) first = 0; else |