diff options
author | Erich Eckner <git@eckner.net> | 2021-05-16 18:49:03 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2021-05-16 18:49:03 +0200 |
commit | 1236c0ce1baa58241c27349045f5ba1e59861564 (patch) | |
tree | 940c8bb8afc0db94f914277e04574168590908e7 | |
parent | 8900c9a319057640181c377451f3b2781f9fc0c2 (diff) | |
download | runjobsparallel-1236c0ce1baa58241c27349045f5ba1e59861564.tar.xz |
runjobsparallel.in: style: ps | grep -> pkill -0
-rwxr-xr-x | runjobsparallel.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/runjobsparallel.in b/runjobsparallel.in index 761aeee..95f6f59 100755 --- a/runjobsparallel.in +++ b/runjobsparallel.in @@ -33,7 +33,7 @@ do maxErr=0 for ((i=0; i<${#errFiles[@]}; i++)) do - ps aux | awk '{print $2}' | grep -q "^${pids[${i}]}\$" && laeuftNoch=true || laeuftNoch=false + pkill -0 "${pids[${i}]}" && laeuftNoch=true || laeuftNoch=false if [ -r ${errFiles[${i}]} ] then |