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

Merge pull request 'fix: Status file is not per-project in multi-project setups (#423)' (#506) from fix/issue-423 into main

Browse source
This commit is contained in:
johba 2026-03-21 17:29:02 +01:00
commit db8074b126
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
dev/dev-agent.sh
View file

@ -40,7 +40,7 @@ REPO_ROOT="${PROJECT_REPO_ROOT}"
API="${CODEBERG_API}" API="${CODEBERG_API}"
LOCKFILE="/tmp/dev-agent-${PROJECT_NAME:-default}.lock" 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 # Gitea labels API requires []int64 — look up the "backlog" label ID once
BACKLOG_LABEL_ID=$(codeberg_api GET "/labels" 2>/dev/null \ BACKLOG_LABEL_ID=$(codeberg_api GET "/labels" 2>/dev/null \

2
supervisor/supervisor-poll.sh
View file

@ -331,7 +331,7 @@ check_project() {
rm -f "$DEV_LOCK" rm -f "$DEV_LOCK"
fixed "${proj_name}: Removed stale dev-agent lock (PID ${DEV_PID} dead)" fixed "${proj_name}: Removed stale dev-agent lock (PID ${DEV_PID} dead)"
else 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) NOW_EPOCH=$(date +%s)
STATUS_AGE_MIN=$(( (NOW_EPOCH - DEV_STATUS_AGE) / 60 )) STATUS_AGE_MIN=$(( (NOW_EPOCH - DEV_STATUS_AGE) / 60 ))
if [ "$STATUS_AGE_MIN" -gt 30 ]; then if [ "$STATUS_AGE_MIN" -gt 30 ]; then