exec-server: switch start to server-assigned session ids

Co-authored-by: Codex <noreply@openai.com>
This commit is contained in:
starr-openai
2026-03-17 19:39:26 +00:00
parent 6b442e07f0
commit 7ba964c0aa
7 changed files with 154 additions and 210 deletions

View File

@@ -84,7 +84,7 @@ enum ProcessStartRequest {
}
struct DirectExecSpec {
process_id: String,
session_id: String,
argv: Vec<String>,
cwd: PathBuf,
env: HashMap<String, String>,
@@ -93,7 +93,7 @@ struct DirectExecSpec {
}
struct PreparedExecSpec {
process_id: String,
session_id: String,
request: PreparedExecRequest,
io: ProcessIo,
}
@@ -116,7 +116,7 @@ enum TerminateMode {
Notes:
- `processId` remains a protocol handle, not an OS pid.
- `sessionId` remains a protocol handle, not an OS pid.
- `wait` is a good generic API because many callers want process completion
without manually wiring notifications.
- `communicate` is also a reasonable API, but it should probably start as a