From dd7b830b30e5dad32412e4e4d565323b488bec09 Mon Sep 17 00:00:00 2001
From: sebastian <sebastian.stock@jku.at>
Date: Fri, 11 Nov 2022 09:36:44 +0100
Subject: [PATCH] changed file handling to use File and fixed output location
---
src/main/kotlin/b/language/server/BDocumentService.kt | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/kotlin/b/language/server/BDocumentService.kt b/src/main/kotlin/b/language/server/BDocumentService.kt
index 6ca3458..81cf4c3 100644
--- a/src/main/kotlin/b/language/server/BDocumentService.kt
+++ b/src/main/kotlin/b/language/server/BDocumentService.kt
@@ -70,7 +70,7 @@ class BDocumentService(private val server: ServerInterface,
issueTracker[file.absolutePath] = filesWithProblems.toSet()
}catch (e : CouldNotFindProBHomeException){
-
+
communicator.sendDebugMessage(e.localizedMessage, MessageType.Info)
communicator.showMessage(e.localizedMessage, MessageType.Error)
}
--
GitLab