From f04d3e44ff8b117cea35165e837a572075a25088 Mon Sep 17 00:00:00 2001
From: Michael Panchenko <michael.panchenko@oraios-ai.de>
Date: Wed, 4 Jun 2025 20:35:44 +0200
Subject: [PATCH] MCP: try stopping ls in server_lifespan

---
 src/serena/mcp.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/serena/mcp.py b/src/serena/mcp.py
index 2d66412c..6aaae8e0 100644
--- a/src/serena/mcp.py
+++ b/src/serena/mcp.py
@@ -160,7 +160,7 @@ def create_mcp_server_and_agent(
         nonlocal agent
         mark_used(mcp_server)
         yield
-        del agent
+        agent.language_server.stop()
 
     mcp_settings = Settings(lifespan=server_lifespan, host=host, port=port)
     mcp = FastMCP(**mcp_settings.model_dump())