update PID command

Co-authored-by: coderabbitai[bot] <136622811+coderabbitai[bot]@users.noreply.github.com>
PalisadoesFoundation · Nov 20, 2024 · eacaac4 · eacaac4
1 parent 3f44b73
commit eacaac4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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: