[Fix] Correct mistake in kill command

This commit is contained in:
samuel 2023-05-07 15:34:50 +02:00
parent 711ad6dc9e
commit a51c1f3d46
2 changed files with 2 additions and 2 deletions

View File

@ -440,7 +440,7 @@ main() (
fail "Deployer process with pid='${pid}' is not running." \
"${err_deployer_process_not_running}"
fi
if ! kill "${pid}" || kill --signal KILL "${pid}"; then
if ! kill "${pid}" || kill -KILL "${pid}"; then
fail "Cannot kill deployer process." \
"${err_deployer_process_not_killed}"
fi

View File

@ -541,7 +541,7 @@ main() (
fail "Runner process with pid='${pid}' is not running." \
"${err_runner_process_not_running}"
fi
if ! kill "${pid}" || kill --signal KILL "${pid}"; then
if ! kill "${pid}" || kill -KILL "${pid}"; then
fail "Cannot kill runner process." "${err_runner_process_not_killed}"
fi
rm --force "${runner_sock}"