mirror of
https://github.com/openai/codex.git
synced 2026-10-28 08:04:55 +00:00
Document the Windows exec yield time range (#33167)
## What changed Document that `exec_command.yield_time_ms` has an effective range of 2,000–30,000 ms on Windows, and update the tool specification test to match. GitOrigin-RevId: aa20bbb2ad82d162d29d93f3bfbe1b970445f44e
This commit is contained in:
@@ -24,7 +24,7 @@ pub(crate) fn create_exec_command_tool_with_environment_id(
|
||||
include_shell_parameter: bool,
|
||||
) -> ToolSpec {
|
||||
let yield_time_ms_description = if cfg!(windows) {
|
||||
"Maximum time to wait before returning a session ID for a still-running command. Commands that finish sooner return immediately. For ordinary commands, omit this parameter to use the 10000 ms default. Set a shorter value only when intentionally starting a long-lived or interactive process and you want a session ID promptly."
|
||||
"Maximum time to wait before returning a session ID for a still-running command. Commands that finish sooner return immediately. For ordinary commands, omit this parameter to use the 10000 ms default. Effective range on Windows is 2000-30000 ms. Set a shorter value only when intentionally starting a long-lived or interactive process and you want a session ID promptly."
|
||||
} else {
|
||||
"Wait before yielding output. Defaults to 10000 ms; effective range is 250-30000 ms."
|
||||
};
|
||||
|
||||
@@ -30,7 +30,7 @@ fn exec_command_tool_matches_expected_spec() {
|
||||
.to_string()
|
||||
};
|
||||
let yield_time_ms_description = if cfg!(windows) {
|
||||
"Maximum time to wait before returning a session ID for a still-running command. Commands that finish sooner return immediately. For ordinary commands, omit this parameter to use the 10000 ms default. Set a shorter value only when intentionally starting a long-lived or interactive process and you want a session ID promptly."
|
||||
"Maximum time to wait before returning a session ID for a still-running command. Commands that finish sooner return immediately. For ordinary commands, omit this parameter to use the 10000 ms default. Effective range on Windows is 2000-30000 ms. Set a shorter value only when intentionally starting a long-lived or interactive process and you want a session ID promptly."
|
||||
} else {
|
||||
"Wait before yielding output. Defaults to 10000 ms; effective range is 250-30000 ms."
|
||||
};
|
||||
|
||||
Reference in New Issue
Block a user