From 249eef86c1fbdba81825ecc07dd94360303c0baf Mon Sep 17 00:00:00 2001
From: openhands <openhands@all-hands.dev>
Date: Tue, 17 Mar 2026 08:18:24 +0000
Subject: [PATCH] fix: per-project lock and log files for dev-poll
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Hardcoded /tmp/dev-agent.lock meant harb and disinto dev-polls shared
a lock — one project's running agent blocked the other. Now uses
/tmp/dev-agent-{project}.lock and dev-agent-{project}.log.
---
 dev/dev-poll.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dev/dev-poll.sh b/dev/dev-poll.sh
index 7551e88..2df4991 100755
--- a/dev/dev-poll.sh
+++ b/dev/dev-poll.sh
@@ -23,8 +23,8 @@ source "$(dirname "$0")/../lib/env.sh"
 REPO="${CODEBERG_REPO}"
 
 API="${CODEBERG_API}"
-LOCKFILE="/tmp/dev-agent.lock"
-LOGFILE="${FACTORY_ROOT}/dev/dev-agent.log"
+LOCKFILE="/tmp/dev-agent-${PROJECT_NAME:-harb}.lock"
+LOGFILE="${FACTORY_ROOT}/dev/dev-agent-${PROJECT_NAME:-harb}.log"
 PREFLIGHT_RESULT="/tmp/dev-agent-preflight.json"
 SCRIPT_DIR="$(cd "$(dirname "$0")" && pwd)"