From d6128d34b01b4a58cd7186cb7c7fe5b9a485fef6 Mon Sep 17 00:00:00 2001 From: SeeBasTStick <sebastian.stock@hhu.de> Date: Tue, 20 Oct 2020 07:46:54 +0200 Subject: [PATCH] made debug message more clear --- src/main/kotlin/b/language/server/Server.kt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/kotlin/b/language/server/Server.kt b/src/main/kotlin/b/language/server/Server.kt index 1d6e1ef..17bf96c 100644 --- a/src/main/kotlin/b/language/server/Server.kt +++ b/src/main/kotlin/b/language/server/Server.kt @@ -78,7 +78,7 @@ class Server : LanguageServer{ * @return settings of the document requested */ fun getDocumentSettings(uri : String) : CompletableFuture<Settings> { - Communicator.sendDebugMessage("received configuration Data of the document $uri", MessageType.Info) + Communicator.sendDebugMessage("requesting configuration for document: $uri", MessageType.Info) return if(!configurationAbility){ val returnValue = CompletableFuture<Settings>() returnValue.complete(globalSettings) -- GitLab