Remove nightly release id from local storage for stable extensions

2021-05-23 11:49:34 +03:00
parent b8635a8e60
commit be3e997ddf
2 changed files with 6 additions and 1 deletions
--- a/editors/code/src/persistent_state.ts
+++ b/editors/code/src/persistent_state.ts
@@ -27,6 +27,9 @@ export class PersistentState {
    async updateReleaseId(value: number) {
        await this.globalState.update("releaseId", value);
    }
+    async removeReleaseId() {
+        await this.globalState.update("releaseId", undefined);
+    }

    /**
     * Version of the extension that installed the server.