The pid file may reference a process that doesn't exist

diff --git a/scripts/ci/openresty-setup.sh b/scripts/ci/openresty-setup.sh
index 38631db5694afc3d4d76bb47af51f24c072c4732..c97d81f4eb03933ef757b194267380eb595de917 100755 (executable)
--- a/scripts/ci/openresty-setup.sh
+++ b/scripts/ci/openresty-setup.sh
@@ -47,7 +47,7 @@ echo "Checking for a running openresty instance"
 if [ -e "${LOGDIR}/nginx.pid" ]
 then
        echo "Stopping the current openresty instance"
-       kill "$(cat ${LOGDIR}/nginx.pid)"
+       kill "$(cat ${LOGDIR}/nginx.pid)" || true
        rm -r "${BUILDDIR}"
 fi