From b376fbc25e943dc386f91394563a7804427ebeb3 Mon Sep 17 00:00:00 2001
From: openhands <openhands@all-hands.dev>
Date: Tue, 17 Mar 2026 08:41:15 +0000
Subject: [PATCH] fix: dev-agent.sh also needs per-project lock file

dev-poll.sh was fixed but dev-agent.sh still used hardcoded
/tmp/dev-agent.lock. The disinto agent locked out harb's agent.
---
 dev/dev-agent.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev/dev-agent.sh b/dev/dev-agent.sh
index b2fee73..58c7dbb 100755
--- a/dev/dev-agent.sh
+++ b/dev/dev-agent.sh
@@ -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"