From c132703e1467abd6865c8a397a2eb5b0b5bbbdd1 Mon Sep 17 00:00:00 2001 From: Damien Radtke Date: Wed, 25 Oct 2023 21:18:40 -0500 Subject: [PATCH] Log settings that are sent to the server --- lsp/Server.java | 1 + lsp/jEditLanguageClient.java | 4 +++- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/lsp/Server.java b/lsp/Server.java index 3a45114..aa6f6aa 100644 --- a/lsp/Server.java +++ b/lsp/Server.java @@ -310,6 +310,7 @@ public class Server { try { Settings settings = Settings.get(this.workspaceFolders); DidChangeConfigurationParams params = new DidChangeConfigurationParams(settings.getAll()); + log(Log.DEBUG, "Initializing with configuration: " + settings.getAll().toString()); this.handle.getRemoteProxy().getWorkspaceService().didChangeConfiguration(params); } catch (Exception e) { log(Log.WARNING, "Failed to send initial configuration", e); diff --git a/lsp/jEditLanguageClient.java b/lsp/jEditLanguageClient.java index 01844e5..8bde523 100644 --- a/lsp/jEditLanguageClient.java +++ b/lsp/jEditLanguageClient.java @@ -311,8 +311,10 @@ public class jEditLanguageClient implements LanguageClient { try { Settings settings = Settings.get(this.server.getWorkspaceFolders()); for (ConfigurationItem item : params.getItems()) { + Map sectionSettings = settings.getSection(item.getSection()); + Log.log(Log.DEBUG, this, "sending configuration section: " + sectionSettings.toString()); // TODO: support the scope parameter? - config.add(settings.getSection(item.getSection())); + config.add(sectionSettings); } } catch (Exception e) { Log.log(Log.WARNING, this, "Failed to load requested configuration", e); -- 2.45.2