diff --git a/src/deployer.sh b/src/deployer.sh index dd1a2ff..7be219b 100755 --- a/src/deployer.sh +++ b/src/deployer.sh @@ -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 diff --git a/src/runner.sh b/src/runner.sh index d78451e..0a03805 100755 --- a/src/runner.sh +++ b/src/runner.sh @@ -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}"