diff options
Diffstat (limited to 'editors')
-rw-r--r-- | editors/code/src/main.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/code/src/main.ts b/editors/code/src/main.ts index 4f46345d6..8a7c81727 100644 --- a/editors/code/src/main.ts +++ b/editors/code/src/main.ts | |||
@@ -38,7 +38,7 @@ export async function activate(context: vscode.ExtensionContext) { | |||
38 | vscode.workspace.onDidChangeConfiguration(() => ensureProperExtensionVersion(config).catch(log.error)); | 38 | vscode.workspace.onDidChangeConfiguration(() => ensureProperExtensionVersion(config).catch(log.error)); |
39 | 39 | ||
40 | // Don't await the user response here, otherwise we will block the lsp server bootstrap | 40 | // Don't await the user response here, otherwise we will block the lsp server bootstrap |
41 | void ensureProperExtensionVersion(config); | 41 | void ensureProperExtensionVersion(config).catch(log.error); |
42 | 42 | ||
43 | const serverPath = await ensureServerBinary(config); | 43 | const serverPath = await ensureServerBinary(config); |
44 | 44 | ||