feat: restart MCP servers on /mcp refresh (#5479)

Co-authored-by: Brian Ray <62354532+emeryray2002@users.noreply.github.com>
Co-authored-by: N. Taylor Mullen <ntaylormullen@google.com>
This commit is contained in:
Ramón Medrano Llamas
2025-08-19 21:03:19 +02:00
committed by GitHub
parent 4828e4daf1
commit b24c5887c4
9 changed files with 447 additions and 467 deletions
+3 -3
View File
@@ -471,7 +471,7 @@ const listCommand: SlashCommand = {
const refreshCommand: SlashCommand = {
name: 'refresh',
description: 'Refresh the list of MCP servers and tools',
description: 'Restarts MCP servers.',
kind: CommandKind.BUILT_IN,
action: async (
context: CommandContext,
@@ -497,12 +497,12 @@ const refreshCommand: SlashCommand = {
context.ui.addItem(
{
type: 'info',
text: 'Refreshing MCP servers and tools...',
text: 'Restarting MCP servers...',
},
Date.now(),
);
await toolRegistry.discoverMcpTools();
await toolRegistry.restartMcpServers();
// Update the client with the new tools
const geminiClient = config.getGeminiClient();