aboutsummaryrefslogtreecommitdiff
path: root/editors/code/src/installation/language_server.ts
diff options
context:
space:
mode:
Diffstat (limited to 'editors/code/src/installation/language_server.ts')
-rw-r--r--editors/code/src/installation/language_server.ts4
1 files changed, 2 insertions, 2 deletions
diff --git a/editors/code/src/installation/language_server.ts b/editors/code/src/installation/language_server.ts
index 1ce67b8b2..9fb1ce42e 100644
--- a/editors/code/src/installation/language_server.ts
+++ b/editors/code/src/installation/language_server.ts
@@ -100,12 +100,12 @@ export async function ensureLanguageServerBinary(
100 try { 100 try {
101 await downloadLatestLanguageServer(langServerSource); 101 await downloadLatestLanguageServer(langServerSource);
102 } catch (err) { 102 } catch (err) {
103 await vscode.window.showErrorMessage( 103 vscode.window.showErrorMessage(
104 `Failed to download language server from ${langServerSource.repo.name} ` + 104 `Failed to download language server from ${langServerSource.repo.name} ` +
105 `GitHub repository: ${err.message}` 105 `GitHub repository: ${err.message}`
106 ); 106 );
107 107
108 await dns.resolve('www.google.com').catch(err => { 108 dns.resolve('www.google.com').catch(err => {
109 console.error("DNS resolution failed, there might be an issue with Internet availability"); 109 console.error("DNS resolution failed, there might be an issue with Internet availability");
110 console.error(err); 110 console.error(err);
111 }); 111 });