diff --git a/src/serena/agent.py b/src/serena/agent.py index 7b1369e4..4461d682 100644 --- a/src/serena/agent.py +++ b/src/serena/agent.py @@ -269,6 +269,8 @@ class SerenaAgent: :param memory_log_handler: a MemoryLogHandler instance from which to read log messages; if None, a new one will be created if necessary. """ + self.version = serena_version() + # obtain serena configuration using the decoupled factory function self.serena_config = serena_config or SerenaConfig.from_config_file() @@ -334,7 +336,7 @@ class SerenaAgent: # log fundamental information log.info( - f"Starting Serena server (version={serena_version()}, process id={os.getpid()}, parent process id={os.getppid()}; " + f"Starting Serena server (version={self.version}, process id={os.getpid()}, parent process id={os.getppid()}; " f"language backend={self.serena_config.language_backend.name}); Python version={platform.python_version()}, platform={platform.platform()}" ) log.info("Configuration file: %s", self.serena_config.config_file_path) @@ -875,7 +877,7 @@ class SerenaAgent: :return: a string overview of the current configuration, including the active and available configuration options """ result_str = "Current configuration:\n" - result_str += f"Serena version: {serena_version()}\n" + result_str += f"Serena version: {self.version}\n" result_str += f"Loglevel: {self.serena_config.log_level}, trace_lsp_communication={self.serena_config.trace_lsp_communication}\n" if self._active_project is not None: result_str += f"Active project: {self._active_project.project_name}\n" diff --git a/src/serena/dashboard.py b/src/serena/dashboard.py index 257b8540..76a32b65 100644 --- a/src/serena/dashboard.py +++ b/src/serena/dashboard.py @@ -60,6 +60,7 @@ class ResponseConfigOverview(BaseModel): languages: list[str] encoding: str | None current_client: str | None + serena_version: str class ResponseAvailableLanguages(BaseModel): @@ -537,6 +538,7 @@ class SerenaDashboardAPI: languages=languages, encoding=encoding, current_client=Tool.get_last_tool_call_client_str(), + serena_version=self._agent.version, ) def _shutdown(self) -> None: diff --git a/src/serena/resources/dashboard/dashboard.js b/src/serena/resources/dashboard/dashboard.js index 5819cec3..dffd10ef 100644 --- a/src/serena/resources/dashboard/dashboard.js +++ b/src/serena/resources/dashboard/dashboard.js @@ -637,6 +637,8 @@ class Dashboard { let html = '