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

Merge pull request 'fix: dev-agent.sh per-project lock file' (#31) from fix/agent-per-project-lock into main

Browse source 
Reviewed-on: https://codeberg.org/johba/disinto/pulls/31
This commit is contained in:
johba 2026-03-17 09:41:57 +01:00
commit 211ccb0445
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
dev/dev-agent.sh
View file

@ -34,7 +34,7 @@ REPO="${CODEBERG_REPO}"
REPO_ROOT="${PROJECT_REPO_ROOT}"
API="${CODEBERG_API}"
LOCKFILE="/tmp/dev-agent.lock"
LOCKFILE="/tmp/dev-agent-${PROJECT_NAME:-harb}.lock"
STATUSFILE="/tmp/dev-agent-status"
LOGFILE="${FACTORY_ROOT}/dev/dev-agent.log"
PREFLIGHT_RESULT="/tmp/dev-agent-preflight.json"