Update pr-deploy.sh

Signed-off-by: Destiny Saturday <[email protected]>
hngprojects · Aug 3, 2024 · 8f3ec73 · 8f3ec73
1 parent 63c8b7c
commit 8f3ec73
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pr-deploy.sh b/pr-deploy.sh
@@ -52,7 +52,7 @@ cleanup() {
     PID=$(jq -r --arg key "$PR_ID" '.[$key] // ""' "${PID_FILE}")
 
     if [ -n "$PID" ]; then
-        kill -9 "$PID" || true
+        kill -9 "$PID" 2>/dev/null || true
         jq --arg key "$PR_ID" 'del(.[$key])' "${PID_FILE}" > "${PID_FILE}.tmp" && mv "${PID_FILE}.tmp" "${PID_FILE}"
     fi