From 7876fc21d0ca151869fbad2b2562946bce09903f Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Mon, 26 Jun 2023 12:01:14 +0200
Subject: [PATCH] Remove printlns that seem to break the stdout communication
---
.../b/language/server/communication/Communicator.kt | 1 -
.../b/language/server/proBMangement/prob/ProBKernel.kt | 9 +--------
2 files changed, 1 insertion(+), 9 deletions(-)
diff --git a/src/main/kotlin/b/language/server/communication/Communicator.kt b/src/main/kotlin/b/language/server/communication/Communicator.kt
index 1465443..a62bf74 100644
--- a/src/main/kotlin/b/language/server/communication/Communicator.kt
+++ b/src/main/kotlin/b/language/server/communication/Communicator.kt
@@ -36,7 +36,6 @@ object Communicator : CommunicatorInterface {
*/
override fun sendDebugMessage(message: String, severity: MessageType) {
if(debugMode) {
- println("Debug messages: $message")
client.logMessage(MessageParams(severity, message))
}
diff --git a/src/main/kotlin/b/language/server/proBMangement/prob/ProBKernel.kt b/src/main/kotlin/b/language/server/proBMangement/prob/ProBKernel.kt
index 9bc5867..9992b9d 100644
--- a/src/main/kotlin/b/language/server/proBMangement/prob/ProBKernel.kt
+++ b/src/main/kotlin/b/language/server/proBMangement/prob/ProBKernel.kt
@@ -95,14 +95,7 @@ class ProBKernel @Inject constructor(private val injector : Injector,
communicator.sendDebugMessage("processing errors", MessageType.Info)
newStateSpace.kill()
- var bla : List<Diagnostic> = emptyList()
- try {
- bla = convertErrorItems(errors, file, communicator)
- }catch (e : Exception){
- println(e)
- }
-
- return bla
+ return convertErrorItems(errors, file, communicator)
}
--
GitLab