version 2.0.3

moves-rwth · May 22, 2024 · 184e0b5 · 184e0b5
1 parent b0d89a6
commit 184e0b5
Show file tree

Hide file tree

Showing 4 changed files with 10 additions and 4 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.0.1"
+version = "2.0.3"
 authors = ["Philipp Schroer <[email protected]>"]
 edition = "2018"
 build = "build.rs" # LALRPOP preprocessing

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.0.1",
+  "version": "2.0.3",
   "repository": {
     "type": "git",
     "url": "https://github.com/moves-rwth/caesar.git",

diff --git a/vscode-ext/src/ServerInstaller.ts b/vscode-ext/src/ServerInstaller.ts
@@ -144,7 +144,13 @@ export class ServerInstaller {
             title: "Installing Caesar",
             cancellable: false
         }, async (progress) => {
-            await this.installAssetWithProgress(release, progress);
+            try {
+                await this.installAssetWithProgress(release, progress);
+            } catch (err) {
+                // make the progress disappear on error
+                progress.report({ increment: 100 });
+                throw err;
+            }
         });
     }