fix: Clear invalid PID values in shared reader (#1336)

This commit is contained in:
Kroese
2026-07-26 17:52:14 +02:00
committed by GitHub
parent a713b728ff
commit f6871dd61b
+6 -1
View File
@@ -18,7 +18,12 @@ readPidFile() {
_pid=$(<"$file")
[[ "$_pid" =~ ^[1-9][0-9]*$ ]]
if [[ ! "$_pid" =~ ^[1-9][0-9]*$ ]]; then
_pid=""
return 1
fi
return 0
}
hasFlag() {