[MCP] Add an enabled config field (#4917)

This lets users more easily toggle MCP servers.
2025-10-08 13:24:51 -07:00
parent e896db1180
commit d3820f4782
9 changed files with 155 additions and 14 deletions
--- a/codex-rs/core/src/mcp_connection_manager.rs
+++ b/codex-rs/core/src/mcp_connection_manager.rs
@@ -207,6 +207,10 @@ impl McpConnectionManager {
                continue;
            }

+            if !cfg.enabled {
+                continue;
+            }
+
            let startup_timeout = cfg.startup_timeout_sec.unwrap_or(DEFAULT_STARTUP_TIMEOUT);
            let tool_timeout = cfg.tool_timeout_sec.unwrap_or(DEFAULT_TOOL_TIMEOUT);