From 061d565692ac2fd04bdb7c0b32c37e694c1c7b82 Mon Sep 17 00:00:00 2001 From: Dominik Jain Date: Wed, 2 Jul 2025 17:26:06 +0200 Subject: [PATCH] Log location of configuration file --- src/serena/agent.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/serena/agent.py b/src/serena/agent.py index 71b09ca4..d0e11617 100644 --- a/src/serena/agent.py +++ b/src/serena/agent.py @@ -681,7 +681,9 @@ class SerenaAgent: if self.serena_config.web_dashboard_open_on_launch: webbrowser.open(f"http://localhost:{port}/dashboard/index.html") + # log fundamental information log.info(f"Starting Serena server (version={serena_version()}, process id={os.getpid()}, parent process id={os.getppid()})") + log.info("Configuration file: %s", self.serena_config.config_file_path) log.info("Available projects: {}".format(", ".join(self.serena_config.project_names))) # create executor for starting the language server and running tools in another thread