diff options
author | Erich Eckner <git@eckner.net> | 2022-02-26 21:40:06 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2022-02-26 21:40:06 +0100 |
commit | dc47d0b531d485b38a47890767cc8ab929ec1fb9 (patch) | |
tree | 188b9fe803103b5bac1d37fe2071b697f0f452a3 | |
parent | bed55c06cc26bd99e54db10c62a65698fed8b065 (diff) | |
download | runjobsparallel-dc47d0b531d485b38a47890767cc8ab929ec1fb9.tar.xz |
runjobsparallel: use /proc/$pid instead of kill -0 $pid
-rwxr-xr-x | runjobsparallel.in | 2 |
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}]}" |