aboutsummaryrefslogtreecommitdiff
path: root/editors
diff options
context:
space:
mode:
authorKirill Bulatov <[email protected]>2021-05-23 09:49:34 +0100
committerKirill Bulatov <[email protected]>2021-05-23 09:49:34 +0100
commitbe3e997ddffbcfb6c75fce47c803c7abd50ef21c (patch)
treeb1ef88516a1154519af134950deb9d29d2d8e441 /editors
parentb8635a8e6096768a5f2e382bed4af255896968f1 (diff)
Remove nightly release id from local storage for stable extensions
Diffstat (limited to 'editors')
-rw-r--r--editors/code/src/main.ts4
-rw-r--r--editors/code/src/persistent_state.ts3
2 files changed, 6 insertions, 1 deletions
diff --git a/editors/code/src/main.ts b/editors/code/src/main.ts
index ee2c50dc7..5db66df93 100644
--- a/editors/code/src/main.ts
+++ b/editors/code/src/main.ts
@@ -156,9 +156,11 @@ export async function deactivate() {
156async function bootstrap(config: Config, state: PersistentState): Promise<string> { 156async function bootstrap(config: Config, state: PersistentState): Promise<string> {
157 await fs.mkdir(config.globalStoragePath, { recursive: true }); 157 await fs.mkdir(config.globalStoragePath, { recursive: true });
158 158
159 if (config.package.releaseTag != NIGHTLY_TAG) {
160 await state.removeReleaseId();
161 }
159 await bootstrapExtension(config, state); 162 await bootstrapExtension(config, state);
160 const path = await bootstrapServer(config, state); 163 const path = await bootstrapServer(config, state);
161
162 return path; 164 return path;
163} 165}
164 166
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 {
27 async updateReleaseId(value: number) { 27 async updateReleaseId(value: number) {
28 await this.globalState.update("releaseId", value); 28 await this.globalState.update("releaseId", value);
29 } 29 }
30 async removeReleaseId() {
31 await this.globalState.update("releaseId", undefined);
32 }
30 33
31 /** 34 /**
32 * Version of the extension that installed the server. 35 * Version of the extension that installed the server.