diff options
Diffstat (limited to 'runjobsparallel.in')
| -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 |