diff options
Diffstat (limited to 'editors/code/src/installation/extension.ts')
-rw-r--r-- | editors/code/src/installation/extension.ts | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/editors/code/src/installation/extension.ts b/editors/code/src/installation/extension.ts index 87a587403..2022d090d 100644 --- a/editors/code/src/installation/extension.ts +++ b/editors/code/src/installation/extension.ts | |||
@@ -4,7 +4,7 @@ import { promises as fs } from 'fs'; | |||
4 | 4 | ||
5 | import { vscodeReinstallExtension, vscodeReloadWindow, log, vscodeInstallExtensionFromVsix, assert, notReentrant } from "../util"; | 5 | import { vscodeReinstallExtension, vscodeReloadWindow, log, vscodeInstallExtensionFromVsix, assert, notReentrant } from "../util"; |
6 | import { Config, UpdatesChannel } from "../config"; | 6 | import { Config, UpdatesChannel } from "../config"; |
7 | import { ArtifactReleaseInfo } from "./interfaces"; | 7 | import { ArtifactReleaseInfo, ArtifactSource } from "./interfaces"; |
8 | import { downloadArtifactWithProgressUi } from "./downloads"; | 8 | import { downloadArtifactWithProgressUi } from "./downloads"; |
9 | import { fetchArtifactReleaseInfo } from "./fetch_artifact_release_info"; | 9 | import { fetchArtifactReleaseInfo } from "./fetch_artifact_release_info"; |
10 | 10 | ||
@@ -16,7 +16,7 @@ const HEURISTIC_NIGHTLY_RELEASE_PERIOD_IN_HOURS = 25; | |||
16 | */ | 16 | */ |
17 | export async function ensureProperExtensionVersion(config: Config): Promise<never | void> { | 17 | export async function ensureProperExtensionVersion(config: Config): Promise<never | void> { |
18 | // User has built lsp server from sources, she should manage updates manually | 18 | // User has built lsp server from sources, she should manage updates manually |
19 | if (config.serverPath !== null) return; | 19 | if (config.serverSource?.type === ArtifactSource.Type.ExplicitPath) return; |
20 | 20 | ||
21 | const currentUpdChannel = config.installedExtensionUpdateChannel; | 21 | const currentUpdChannel = config.installedExtensionUpdateChannel; |
22 | const desiredUpdChannel = config.updatesChannel; | 22 | const desiredUpdChannel = config.updatesChannel; |