diff --git a/scripts/profile_tool_call.py b/scripts/profile_tool_call.py index 8fe922a5..e0e69981 100644 --- a/scripts/profile_tool_call.py +++ b/scripts/profile_tool_call.py @@ -25,6 +25,7 @@ if __name__ == "__main__": serena_config = SerenaConfig.from_config_file() serena_config.log_level = logging.INFO + serena_config.jetbrains = False serena_config.gui_log_window_enabled = False serena_config.web_dashboard = False