From dc47d0b531d485b38a47890767cc8ab929ec1fb9 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Sat, 26 Feb 2022 21:40:06 +0100
Subject: runjobsparallel: use /proc/$pid instead of kill -0 $pid

---
 runjobsparallel.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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}]}"
-- 
cgit v1.2.3-70-g09d2