From c6373af98c612809b5b6d7129d24787769c22f4a Mon Sep 17 00:00:00 2001 From: samuel Date: Tue, 9 May 2023 15:02:07 +0200 Subject: [PATCH] [Dev] Add some logs in deployer stop --- src/deployer.sh | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/deployer.sh b/src/deployer.sh index a6efad6..009e60c 100755 --- a/src/deployer.sh +++ b/src/deployer.sh @@ -436,6 +436,9 @@ main() ( fi pid="$(cat "${deployer_pid}")" rm --force "${deployer_pid}" + + # Kill deployer process. + log_info "Kill deployer process with pid '${pid}'." if ! ps -p "${pid}" >/dev/null; then fail "Deployer process with pid='${pid}' is not running." \ "${err_deployer_process_not_running}" @@ -444,6 +447,9 @@ main() ( fail "Cannot kill deployer process: ${output}." \ "${err_deployer_process_not_killed}" fi + + # Remove deployer sock file. + log_info "Remove deployer sock at '${deployer_sock}'." rm --force "${deployer_sock}" ;; esac