Add a runtime server to preferences. Args: name: Server name config: Server configuration (command, args, env, transport, url, etc.)
(self, name: str, config: dict[str, Any])
| 564 | self.save_preferences() |
| 565 | |
| 566 | def add_runtime_server(self, name: str, config: dict[str, Any]) -> None: |
| 567 | """Add a runtime server to preferences. |
| 568 | |
| 569 | Args: |
| 570 | name: Server name |
| 571 | config: Server configuration (command, args, env, transport, url, etc.) |
| 572 | """ |
| 573 | self.preferences.servers.runtime_servers[name] = config |
| 574 | self.save_preferences() |
| 575 | |
| 576 | def remove_runtime_server(self, name: str) -> bool: |
| 577 | """Remove a runtime server from preferences. |