codex

mirror of https://github.com/pchuan98/codex.git synced 2026-07-01 00:31:56 +08:00

Files

T

jif 83e6a786a2 Recover exec process stdin writes (#28895 )

## Summary

Remote stdio MCP servers send tool calls by writing JSON-RPC bytes
through `process/write`.

When the exec-server websocket drops at the wrong time, the remote
process can survive session recovery, but the stdin write can still fail
back to RMCP as a transport send error. RMCP then closes the stdio MCP
transport, so tools like `node_repl` are lost even though the
process/session recovery path is working.

This changes `process/write` to be safe to retry across exec-server
recovery:

- adds a required `writeId` to `process/write`
- retries remote `Session::write` with the same `writeId` after
reconnect
- remembers accepted write ids per process so duplicate retries return
`Accepted` without writing the same bytes to child stdin again
- covers both the client retry path and server-side write id dedupe with
tests

In simple terms:

```text
before:
write to MCP stdin -> websocket closes -> write errors -> RMCP closes node_repl

after:
write to MCP stdin -> websocket closes -> reconnect -> retry same writeId
server either writes once or recognizes it already did
```

83e6a786a2 · 2026-06-18 19:04:26 +02:00

History

common

Run fs helper through Windows sandbox wrapper (#28359 )

2026-06-17 10:00:42 -07:00

file_system

[codex] exec-server: stream files in chunks (#28354 )

2026-06-16 09:50:55 -07:00

exec_process.rs

Resume exec-server sessions after disconnect (#28512 )

2026-06-17 10:20:39 +02:00

file_stream.rs