Skip to content
Snippets Groups Projects
Commit 54b667ec authored by SeeBasTStick's avatar SeeBasTStick
Browse files

changes at configuration + cleanup

parent c08ca7a4
No related branches found
No related tags found
No related merge requests found
......@@ -49,25 +49,25 @@
"description": "Traces the communication between VS Code and the language server."
},
"languageServer.probHome": {
"scope": "window",
"scope": "resource",
"type": "string",
"default": "~/prob_prolog/probcli.sh",
"description": "Path to ProB executable"
},
"languageServer.wdChecks": {
"scope": "window",
"scope": "resource",
"type": "boolean",
"default": true,
"description": "Option for WD Checks"
},
"languageServer.strictChecks": {
"scope": "window",
"scope": "resource",
"type": "boolean",
"default": false,
"description": "Option for stricter Checks"
},
"languageServer.performanceHints": {
"scope": "window",
"scope": "resource",
"type": "boolean",
"default": true,
"description": "Option for performance-related Hints"
......
......@@ -23,24 +23,8 @@ import {
let client: LanguageClient;
export function activate(context: ExtensionContext) {
// The server is implemented in node
/* let serverModule = context.asAbsolutePath(
path.join('server', 'out', 'server.js')
);*/
// The debug options for the server
// --inspect=6009: runs the server in Node's Inspector mode so VS Code can attach to the server for debugging
let debugOptions = { execArgv: ['--nolazy', '--inspect=6009'] };
// If the extension is launched in debug mode then the debug server options are used
// Otherwise the run options are used
let serverOptions: ServerOptions = {
/* run: { module: serverModule, transport: TransportKind.ipc },
debug: {
module: serverModule,
transport: TransportKind.ipc,
options: debugOptions
}
*/
command: '/usr/bin/java',
args: [ "-jar", "/home/sebastian/IdeaProjects/b-language-server/build/libs/b-language-server-all.jar"]
};
......@@ -84,6 +68,7 @@ export function activate(context: ExtensionContext) {
// Start the client. This will also launch the server
let disposable = client.start();
context.subscriptions.push(disposable);
}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment