diff options
author | Erich Eckner <git@eckner.net> | 2021-06-03 07:59:14 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2021-06-03 07:59:14 +0200 |
commit | 79591c96b4a1966677ab0f1948f20adf7639ee17 (patch) | |
tree | 14cba03af8643ffa55006aec344973c8a9fe9c4b | |
parent | 6b0740f8335ef3c8315b83a224bb02cf7891df53 (diff) | |
download | runjobsparallel-79591c96b4a1966677ab0f1948f20adf7639ee17.tar.xz |
runjobsparallel.in: 1236c0c wrongly used "pkill" - it should be "kill"
-rwxr-xr-x | runjobsparallel.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/runjobsparallel.in b/runjobsparallel.in index 7d7cb17..e6719ee 100755 --- a/runjobsparallel.in +++ b/runjobsparallel.in @@ -36,7 +36,7 @@ do maxErr=0 for ((i=0; i<${#errFiles[@]}; i++)) do - pkill -0 "${pids[${i}]}" \ + kill -0 "${pids[${i}]}" \ && [ ! -r "${errFiles[${i}]}" ] \ && laeuftNoch=true \ || laeuftNoch=false |