From e31ef119ebd7b2fba7ded03251fb388abef1ca7e Mon Sep 17 00:00:00 2001
From: samuel <samuel.campos@netoik.io>
Date: Thu, 4 May 2023 01:24:37 +0200
Subject: [PATCH] [Dev] Remove pid file in deployer stop

---
 src/deployer.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/deployer.sh b/src/deployer.sh
index aa0d2b4..0b3c5a9 100755
--- 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}"