summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2022-02-26 21:40:06 +0100
committerErich Eckner <git@eckner.net>2022-02-26 21:40:06 +0100
commitdc47d0b531d485b38a47890767cc8ab929ec1fb9 (patch)
tree188b9fe803103b5bac1d37fe2071b697f0f452a3
parentbed55c06cc26bd99e54db10c62a65698fed8b065 (diff)
downloadrunjobsparallel-dc47d0b531d485b38a47890767cc8ab929ec1fb9.tar.xz
runjobsparallel: use /proc/$pid instead of kill -0 $pid
-rwxr-xr-xrunjobsparallel.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/runjobsparallel.in b/runjobsparallel.in
index 8e2d664..639449c 100755
--- a/runjobsparallel.in
+++ b/runjobsparallel.in
@@ -39,7 +39,7 @@ do
if [ -r "${errFiles[${i}]}" ]; then
curErr=$(cat "${errFiles[${i}]}")
[ ${curErr} -gt ${maxErr} ] && maxErr=${curErr}
- elif kill -0 "${pids[${i}]}"; then
+ elif [ -d "/proc/${pids[${i}]}" ]; then
allesDa=false
else
echo 255 > "${errFiles[${i}]}"