vscode-ext: use new invocation for lsp server

Author: Philipp15b

Cargo.lock

@@ -7,7 +7,7 @@ members = [
 
 [package]
 name = "caesar"
-version = "2.1.0"
+version = "2.1.1"
 authors = ["Philipp Schroer <[email protected]>"]
 description = "Caesar is a deductive verifier for probabilistic programs."
 homepage = "https://www.caesarverifier.org/"

Cargo.toml

@@ -3,7 +3,7 @@
   "displayName": "Caesar Verifier",
   "description": "The quantitative deductive verifier Caesar for VSCode",
   "publisher": "rwth-moves",
-  "version": "2.1.0",
+  "version": "2.1.1",
   "repository": {
     "type": "git",
     "url": "https://github.com/moves-rwth/caesar.git",

vscode-ext/package.json

@@ -230,7 +230,7 @@ export class CaesarClient {
                         serverExecutable = pathRes;
                     }
                 }
-                args.push('--language-server');
+                args.push('lsp');
             }
                 break;
             case ConfigurationConstants.userBinaryOption:
@@ -242,7 +242,7 @@ export class CaesarClient {
                     });
                     throw new Error("Installation path is not set");
                 }
-                args.push('--language-server');
+                args.push('lsp');
                 break;
             case ConfigurationConstants.sourceCodeOption:
                 serverDirectory = ServerConfig.get(ConfigurationConstants.sourcePath);
@@ -262,7 +262,7 @@ export class CaesarClient {
                     throw new Error("Cargo.toml file is not found in the path");
                 }
                 serverExecutable = "cargo";
-                args.push('run', '--', '--language-server');
+                args.push('run', '--', 'lsp');
                 break;
             default:
                 this.logger.error("Client: unknown installation choice config setting", installationChoice);