small change to account for changed setting names in the client

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())

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))
 }