From 1bbec27505221056dfae3037e4cf77d8d9a643c2 Mon Sep 17 00:00:00 2001 From: nightcityblade Date: Mon, 17 Aug 2026 23:22:17 +0800 Subject: [PATCH] fix(python): remove unused server port cache --- sdks/python/pmxt/server_manager.py | 12 +----------- 1 file changed, 1 insertion(+), 11 deletions(-) diff --git a/sdks/python/pmxt/server_manager.py b/sdks/python/pmxt/server_manager.py index b3ba17ba..c219da57 100644 --- a/sdks/python/pmxt/server_manager.py +++ b/sdks/python/pmxt/server_manager.py @@ -62,17 +62,7 @@ def __init__(self, base_url: str = "http://localhost:3847") -> None: """ self.base_url = base_url self.lock_path = Path.home() / '.pmxt' / 'server.lock' - self._port = self._extract_port_from_url(base_url) - - def _extract_port_from_url(self, url: str) -> int: - """Extract port number from URL.""" - try: - from urllib.parse import urlparse - parsed = urlparse(url) - return parsed.port or self.DEFAULT_PORT - except (ValueError, AttributeError): - return self.DEFAULT_PORT - + def ensure_server_running(self) -> None: """ Ensure the PMXT server is running.