From ed401769b514c71200bd610022fce37ad1859eb6 Mon Sep 17 00:00:00 2001 From: Dominik Jain Date: Sat, 8 Aug 2026 16:57:40 +0200 Subject: [PATCH] ProjectServer: Use general headless mode config overrides --- src/serena/project_server.py | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/serena/project_server.py b/src/serena/project_server.py index c2cbcd65..0debaac0 100644 --- a/src/serena/project_server.py +++ b/src/serena/project_server.py @@ -55,9 +55,7 @@ class ProjectServer: if port is None: port = self.PORT - serena_config = SerenaConfig.from_config_file() - serena_config.gui_log_window = False - serena_config.web_dashboard = False + serena_config = SerenaConfig.from_config_file().with_headless_mode_overrides() serena_config.language_backend = LanguageBackend.LSP self._agent = SerenaAgent(serena_config=serena_config)