johba/disinto
1
0
Fork 0
Code Issues 4 Pull requests Projects Releases Packages Wiki Activity Actions

Merge pull request 'fix: Stale lock path in existing dev-agent health check (line 373) (#242)' (#422) from fix/issue-242 into main

Browse source
This commit is contained in:
johba 2026-03-20 19:54:02 +01:00
commit 00d11efa82
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
supervisor/supervisor-poll.sh
View file

@ -527,7 +527,7 @@ json.dump(d, open(f, 'w'))
# Dev-agent health (only if monitoring enabled)
if [ "${CHECK_DEV_AGENT:-true}" = "true" ]; then
DEV_LOCK="/tmp/dev-agent.lock"
DEV_LOCK="/tmp/dev-agent-${PROJECT_NAME}.lock"
if [ -f "$DEV_LOCK" ]; then
DEV_PID=$(cat "$DEV_LOCK" 2>/dev/null)
if ! kill -0 "$DEV_PID" 2>/dev/null; then