[Dev] Remove pid file in deployer stop

2023-05-04 01:24:37 +02:00 · 2023-05-04 01:24:37 +02:00 · e31ef119eb
parent 5f73a1d0ed
commit e31ef119eb
1 changed files with 1 additions and 0 deletions
--- a/src/deployer.sh
+++ b/src/deployer.sh
@ -446,6 +446,7 @@ main() (
 				"${err_deployer_pid_not_readable}"
 		fi
 		pid="$(cat "${deployer_pid}")"
+		rm --force "${deployer_pid}"
 		if ! ps -p "${pid}"; then
 			fail "Deployer process with pid='${pid}' is not running." \
 				"${err_deployer_process_not_running}"