Skip to content

Run write_stdin concurrently across terminal sessions - #33645

Merged
copyberry[bot] merged 1 commit into
mainfrom
copyberry/codex-internal-to-codex-oss/618f5503f4c4670421f680c0f0c27414bc6b2ddd
Jul 16, 2026
Merged

Run write_stdin concurrently across terminal sessions#33645
copyberry[bot] merged 1 commit into
mainfrom
copyberry/codex-internal-to-codex-oss/618f5503f4c4670421f680c0f0c27414bc6b2ddd

Conversation

@copyberry

@copyberry copyberry Bot commented Jul 16, 2026

Copy link
Copy Markdown

Run write_stdin concurrently across terminal sessions

What changed

  • Allow parallel write_stdin tool calls to interact with independent terminal sessions.
  • Serialize reads and writes within each session so its output buffer and process lifecycle remain consistent.
  • Prevent active sessions from being pruned while a write_stdin interaction is in progress.

Testing

  • Added unified exec and code mode coverage that uses two terminal sessions concurrently and verifies output from both.

## What changed

- Allow parallel `write_stdin` tool calls to interact with independent terminal sessions.
- Serialize reads and writes within each session so its output buffer and process lifecycle remain consistent.
- Prevent active sessions from being pruned while a `write_stdin` interaction is in progress.

## Testing

- Added unified exec and code mode coverage that uses two terminal sessions concurrently and verifies output from both.

GitOrigin-RevId: 618f5503f4c4670421f680c0f0c27414bc6b2ddd
@copyberry
copyberry Bot force-pushed the copyberry/codex-internal-to-codex-oss/618f5503f4c4670421f680c0f0c27414bc6b2ddd branch from 57bbe4d to f64233d Compare July 16, 2026 16:59
@copyberry
copyberry Bot merged commit f64233d into main Jul 16, 2026
14 of 32 checks passed
@copyberry
copyberry Bot deleted the copyberry/codex-internal-to-codex-oss/618f5503f4c4670421f680c0f0c27414bc6b2ddd branch July 16, 2026 17:00
@github-actions github-actions Bot locked and limited conversation to collaborators Jul 16, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

6 participants