diff --git a/dev/dev-agent.sh b/dev/dev-agent.sh index 07530b0..cbc44e6 100755 --- a/dev/dev-agent.sh +++ b/dev/dev-agent.sh @@ -40,7 +40,7 @@ REPO_ROOT="${PROJECT_REPO_ROOT}" API="${CODEBERG_API}" LOCKFILE="/tmp/dev-agent-${PROJECT_NAME:-default}.lock" -STATUSFILE="/tmp/dev-agent-status" +STATUSFILE="/tmp/dev-agent-status-${PROJECT_NAME:-default}" # Gitea labels API requires []int64 — look up the "backlog" label ID once BACKLOG_LABEL_ID=$(codeberg_api GET "/labels" 2>/dev/null \ diff --git a/supervisor/supervisor-poll.sh b/supervisor/supervisor-poll.sh index 7e7b211..b946a10 100755 --- a/supervisor/supervisor-poll.sh +++ b/supervisor/supervisor-poll.sh @@ -331,7 +331,7 @@ check_project() { rm -f "$DEV_LOCK" fixed "${proj_name}: Removed stale dev-agent lock (PID ${DEV_PID} dead)" else - DEV_STATUS_AGE=$(stat -c %Y /tmp/dev-agent-status 2>/dev/null || echo 0) + DEV_STATUS_AGE=$(stat -c %Y "/tmp/dev-agent-status-${PROJECT_NAME:-default}" 2>/dev/null || echo 0) NOW_EPOCH=$(date +%s) STATUS_AGE_MIN=$(( (NOW_EPOCH - DEV_STATUS_AGE) / 60 )) if [ "$STATUS_AGE_MIN" -gt 30 ]; then