diff options
Diffstat (limited to 'editors')
-rw-r--r-- | editors/code/src/main.ts | 4 | ||||
-rw-r--r-- | editors/code/src/persistent_state.ts | 3 |
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() { | |||
156 | async function bootstrap(config: Config, state: PersistentState): Promise<string> { | 156 | async 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. |