From 5ec38ad6571fe6c4bf45dbe29e7f0b298c906e61 Mon Sep 17 00:00:00 2001 From: samuel Date: Tue, 9 May 2023 15:11:59 +0200 Subject: [PATCH] [Dev] Add some logs in deployer stop --- src/runner.sh | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/runner.sh b/src/runner.sh index 47292d1..f81df95 100755 --- a/src/runner.sh +++ b/src/runner.sh @@ -542,6 +542,9 @@ main() ( fi pid="$(cat "${runner_pid}")" rm --force "${runner_pid}" + + # Kill runner process. + log_info "Kill runner process with pid '${pid}'." if ! ps -p "${pid}"; then fail "Runner process with pid='${pid}' is not running." \ "${err_runner_process_not_running}" @@ -550,6 +553,9 @@ main() ( fail "Cannot kill runner process: ${output}." \ "${err_runner_process_not_killed}" fi + + # Remove runner sock file. + log_info "Remove runner sock at '${runner_sock}'." rm --force "${runner_sock}" ;; esac