aboutsummaryrefslogtreecommitdiff
path: root/editors
diff options
context:
space:
mode:
authorVeetaha <[email protected]>2020-02-09 20:27:01 +0000
committerVeetaha <[email protected]>2020-02-09 20:27:01 +0000
commite709f113c107c75a7da86c39f6cdcb6d61dc360d (patch)
treed0b4c86d717df118b07817fa5b4f39969ecbde4e /editors
parent5d39f6d3b2fe9fcb08a9e9d4bad7edc42b3c9ea2 (diff)
vscode: changed dns sanity-check url from google.com to example.com
Diffstat (limited to 'editors')
-rw-r--r--editors/code/src/installation/language_server.ts9
1 files changed, 6 insertions, 3 deletions
diff --git a/editors/code/src/installation/language_server.ts b/editors/code/src/installation/language_server.ts
index fd8b2caac..3510f9178 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').then( 108 dns.resolve('example.com').then(
109 addrs => console.log("DNS resolution was successful", addrs), 109 addrs => console.log("DNS resolution for example.com was successful", addrs),
110 err => { 110 err => {
111 console.error("DNS resolution failed, there might be an issue with Internet availability"); 111 console.error(
112 "DNS resolution for example.com failed, " +
113 "there might be an issue with Internet availability"
114 );
112 console.error(err); 115 console.error(err);
113 } 116 }
114 ); 117 );