diff --git a/src/extension.ts b/src/extension.ts index 11a801861d3588e7e5e4e93bf37d56075225f9ca..a6647065661193789a7bcf4aac7c0985f3744ccb 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) }) - //}) + }) }