Skip to content

harness_adapter: clean stale limited bash markers - #71

Merged
svlad-90 merged 1 commit into
mainfrom
feature/java-code-map-jdt-toolset
Sep 30, 2026
Merged

svlad-90 merged 1 commit into
mainfrom
feature/java-code-map-jdt-toolset

Conversation

@svlad-90

Copy link
Copy Markdown
Owner

Drop active limited_bash markers when the run directory is already gone. For old markers with a live PID, compare the marker start time with the Linux process start time so PID reuse does not keep stale entries alive.

Keep recent active markers with an existing run directory during a grace window, preserving parallel wrapped commands in PID-reused harness namespaces.

Assisted-by: Codex:gpt-5 agent_tools_workspace

Drop active limited_bash markers when the run directory is already gone.
For old markers with a live PID, compare the marker start time with the
Linux process start time so PID reuse does not keep stale entries alive.

Keep recent active markers with an existing run directory during a grace
window, preserving parallel wrapped commands in PID-reused harness
namespaces.

Signed-off-by: svlad-90 <svlad1990@gmail.com>
Assisted-by: Codex:gpt-5 agent_tools_workspace
@svlad-90
svlad-90 merged commit d4336eb into main Sep 30, 2026
16 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant