From eacaac4fa10d444d9986f50bb574a17b46f94a2c Mon Sep 17 00:00:00 2001 From: adithya <144007420+adithyanotfound@users.noreply.github.com> Date: Wed, 20 Nov 2024 17:23:33 +0530 Subject: [PATCH] update PID command Co-authored-by: coderabbitai[bot] <136622811+coderabbitai[bot]@users.noreply.github.com> --- .github/workflows/pull-request.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/pull-request.yml b/.github/workflows/pull-request.yml index 35c63989c0..18f273adc1 100644 --- a/.github/workflows/pull-request.yml +++ b/.github/workflows/pull-request.yml @@ -336,7 +336,7 @@ jobs: if: always() run: | if [ -f .pidfile_dev ]; then - kill $(cat .pidfile_dev) + kill "$(cat .pidfile_dev)" fi Docker-Start-Check: