vscode-ext: use new invocation for lsp server

moves-rwth · Jan 18, 2025 · 81a0ae4 · 81a0ae4
1 parent c66216d
commit 81a0ae4
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 6 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -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/"

diff --git a/vscode-ext/package.json b/vscode-ext/package.json
@@ -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",

diff --git a/vscode-ext/src/CaesarClient.ts b/vscode-ext/src/CaesarClient.ts
@@ -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);