From e2640e5ca98e051613dc178ea378cd58bf68fe35 Mon Sep 17 00:00:00 2001
From: SeeBasTStick <sebastian.stock@hhu.de>
Date: Tue, 20 Oct 2020 08:45:57 +0200
Subject: [PATCH] small change to account for changed setting names in the
client
---
src/main/kotlin/b/language/server/App.kt | 2 +-
src/main/kotlin/b/language/server/Util.kt | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/kotlin/b/language/server/App.kt b/src/main/kotlin/b/language/server/App.kt
index e86d1da..3e34983 100644
--- a/src/main/kotlin/b/language/server/App.kt
+++ b/src/main/kotlin/b/language/server/App.kt
@@ -10,7 +10,7 @@ import java.util.concurrent.Future
fun main() {
println("opening connection and waiting ...")
- val socket = ServerSocket(55555)
+ val socket = ServerSocket(55556)
val channel = socket.accept()
println("accepted connection from ${channel.inetAddress}")
startServer(channel.getInputStream(), channel.getOutputStream())
diff --git a/src/main/kotlin/b/language/server/Util.kt b/src/main/kotlin/b/language/server/Util.kt
index eb734fe..3a19add 100644
--- a/src/main/kotlin/b/language/server/Util.kt
+++ b/src/main/kotlin/b/language/server/Util.kt
@@ -15,7 +15,7 @@ fun castJsonToSetting(json : JsonObject) : Settings {
Gson().fromJson(json.get("wdChecks"), Boolean::class.java),
Gson().fromJson(json.get("strictChecks"), Boolean::class.java),
Gson().fromJson(json.get("performanceHints"), Boolean::class.java),
- Gson().fromJson(json.get("probHome"), String::class.java),
+ Gson().fromJson(json.get("proBHome"), String::class.java),
Gson().fromJson(json.get("debugMode"), Boolean::class.java))
}
--
GitLab