fix: Prevent race when reading PID files (#1342)

2026-08-28 11:56:03 +00:00 · 2026-07-28 14:22:08 +02:00
parent 2b27f32cd4
commit 3c7c3ca1b1
1 changed files with 4 additions and 3 deletions
@@ -12,9 +12,10 @@ readPidFile() {
  local -n _pid="$1"
  _pid=""

-  [ -s "$2" ] || return 1
-
-  _pid=$(<"$2")
+  if ! _pid=$(cat -- "$2" 2>/dev/null); then
+    _pid=""
+    return 1
+  fi

  if [[ ! "$_pid" =~ ^[1-9][0-9]*$ ]]; then
    _pid=""