mirror of
https://github.com/openai/codex.git
synced 2026-04-24 06:35:50 +00:00
295ca27e98
The `SessionManager` in `exec_command` owns a number of `ExecCommandSession` objects where `ExecCommandSession` has a non-trivial implementation of `Drop`, so we want to be able to drop an individual `SessionManager` to help ensure things get cleaned up in a timely fashion. To that end, we should have one `SessionManager` per session rather than one global one for the lifetime of the CLI process.
15 lines
538 B
Rust
15 lines
538 B
Rust
mod exec_command_params;
|
|
mod exec_command_session;
|
|
mod responses_api;
|
|
mod session_id;
|
|
mod session_manager;
|
|
|
|
pub use exec_command_params::ExecCommandParams;
|
|
pub use exec_command_params::WriteStdinParams;
|
|
pub use responses_api::EXEC_COMMAND_TOOL_NAME;
|
|
pub use responses_api::WRITE_STDIN_TOOL_NAME;
|
|
pub use responses_api::create_exec_command_tool_for_responses_api;
|
|
pub use responses_api::create_write_stdin_tool_for_responses_api;
|
|
pub use session_manager::SessionManager as ExecSessionManager;
|
|
pub use session_manager::result_into_payload;
|