Remove nightly release id from local storage for stable extensions

1 files changed, 3 insertions, 0 deletions

diff --git a/editors/code/src/persistent_state.ts b/editors/code/src/persistent_state.ts
index afb652589..2519bd77a 100644
--- 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.