diff --git a/src/main/kotlin/b/language/server/Server.kt b/src/main/kotlin/b/language/server/Server.kt index 58e6238afdb9382fb3e2eed76d02bd7372e0b202..8711b89f2668974cb52a135f370b352b01d89528 100644 --- a/src/main/kotlin/b/language/server/Server.kt +++ b/src/main/kotlin/b/language/server/Server.kt @@ -84,10 +84,10 @@ class Server : LanguageServer, ServerInterface { returnValue.complete(globalSettings) returnValue - }else{ + } else { val configurationItem = ConfigurationItem() configurationItem.scopeUri = uri - configurationItem.section = "languageServer" + configurationItem.section = "prob" val requestedConfig = languageClient.configuration(ConfigurationParams(listOf(configurationItem))) documentSettings[uri] = CompletableFuture.allOf(requestedConfig).thenApply{ castJsonToSetting(requestedConfig.get().first() as JsonObject) } @@ -103,4 +103,4 @@ class Server : LanguageServer, ServerInterface { -} \ No newline at end of file +} diff --git a/src/main/kotlin/b/language/server/communication/Communicator.kt b/src/main/kotlin/b/language/server/communication/Communicator.kt index a62bf74c9af412788a3c2756c2baa31ab5612010..5374c6452a8a332370456b3ba2e0cb9a52812df9 100644 --- a/src/main/kotlin/b/language/server/communication/Communicator.kt +++ b/src/main/kotlin/b/language/server/communication/Communicator.kt @@ -69,4 +69,4 @@ object Communicator : CommunicatorInterface { override fun bufferDebugMessage(message: String, severity: MessageType) { TODO("Not yet implemented") } -} \ No newline at end of file +}