Fix spurious 'Effekt is not installed' message when refusing to update

effekt-lang · Sep 17, 2024 · 8a32b5d · 8a32b5d
1 parent 25fac57
commit 8a32b5d
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/effektManager.ts b/src/effektManager.ts
@@ -327,7 +327,7 @@ export class EffektManager {
             return this.installOrUpdateEffekt(version, action);
         }
         this.updateStatusBar();
-        return '';
+        return this.effektVersion || '';
     }
 
     /**
@@ -376,6 +376,8 @@ export class EffektManager {
 
             return true;
         } catch (error) {
+            this.logMessage("ERROR", `When checking Java version got: ${error}`)
+
             this.showErrorWithLogs(
                 "Java (JRE) is required to run Effekt. " +
                 "Please install Java, then restart VSCode."