aboutsummaryrefslogtreecommitdiff
path: root/editors/code/src
diff options
context:
space:
mode:
Diffstat (limited to 'editors/code/src')
-rw-r--r--editors/code/src/installation/language_server.ts11
1 files changed, 7 insertions, 4 deletions
diff --git a/editors/code/src/installation/language_server.ts b/editors/code/src/installation/language_server.ts
index 9fb1ce42e..fd8b2caac 100644
--- a/editors/code/src/installation/language_server.ts
+++ b/editors/code/src/installation/language_server.ts
@@ -105,10 +105,13 @@ export async function ensureLanguageServerBinary(
105 `GitHub repository: ${err.message}` 105 `GitHub repository: ${err.message}`
106 ); 106 );
107 107
108 dns.resolve('www.google.com').catch(err => { 108 dns.resolve('www.google.com').then(
109 console.error("DNS resolution failed, there might be an issue with Internet availability"); 109 addrs => console.log("DNS resolution was successful", addrs),
110 console.error(err); 110 err => {
111 }); 111 console.error("DNS resolution failed, there might be an issue with Internet availability");
112 console.error(err);
113 }
114 );
112 115
113 return null; 116 return null;
114 } 117 }