aboutsummaryrefslogtreecommitdiff
path: root/editors
diff options
context:
space:
mode:
Diffstat (limited to 'editors')
-rw-r--r--editors/code/src/installation/language_server.ts16
1 files changed, 11 insertions, 5 deletions
diff --git a/editors/code/src/installation/language_server.ts b/editors/code/src/installation/language_server.ts
index 1ce67b8b2..3510f9178 100644
--- a/editors/code/src/installation/language_server.ts
+++ b/editors/code/src/installation/language_server.ts
@@ -100,15 +100,21 @@ 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('example.com').then(
109 console.error("DNS resolution failed, there might be an issue with Internet availability"); 109 addrs => console.log("DNS resolution for example.com was successful", addrs),
110 console.error(err); 110 err => {
111 }); 111 console.error(
112 "DNS resolution for example.com failed, " +
113 "there might be an issue with Internet availability"
114 );
115 console.error(err);
116 }
117 );
112 118
113 return null; 119 return null;
114 } 120 }