From 3c7c3ca1b13e0d451fe01c68c2a7e18fd6852b15 Mon Sep 17 00:00:00 2001 From: Kroese Date: Tue, 28 Jul 2026 14:22:08 +0200 Subject: [PATCH] fix: Prevent race when reading PID files (#1342) --- src/utils.sh | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/src/utils.sh b/src/utils.sh index edfceec..eab74b0 100644 --- a/src/utils.sh +++ b/src/utils.sh @@ -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=""