From 7003d1bf437c6af70f349ed8ba6af45551fd3426 Mon Sep 17 00:00:00 2001
From: SeeBasTStick <sebastian.stock@hhu.de>
Date: Tue, 20 Oct 2020 08:37:20 +0200
Subject: [PATCH] inlined autoserver again
---
src/extension.ts | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/src/extension.ts b/src/extension.ts
index 11a8018..a664706 100644
--- a/src/extension.ts
+++ b/src/extension.ts
@@ -30,12 +30,11 @@ export function activate(context: ExtensionContext) {
const javaHome: string = workspace.getConfiguration("common").get("javaHome")
-
//Start the server
// comment the two lines (and the closing brackets) if you want to run a server by hand -> for developing
-// let prc = spawn(javaHome, ['-jar', serverHome])
+ let prc = spawn(javaHome, ['-jar', serverHome])
-// prc.stdout.on('data', function (data) {
+ prc.stdout.on('data', function (data) {
let connectionInfo = {
port: 55555,
@@ -90,6 +89,7 @@ export function activate(context: ExtensionContext) {
console.log( workspace.getConfiguration())
console.log( workspace.getConfiguration("languageServer"))
+
const debugMode: Boolean = workspace.getConfiguration("languageServer").get("debugMode")
if (!debugMode) {
@@ -104,7 +104,7 @@ export function activate(context: ExtensionContext) {
showDebugMessages(debugChannle)
})
- //})
+ })
}
--
GitLab