mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

vscode: changed dns sanity-check url from google.com to example.com

Browse Source
This commit is contained in:
Veetaha 2020-02-09 22:27:01 +02:00
parent 5d39f6d3b2
commit e709f113c1
1 changed files with 6 additions and 3 deletions

9
editors/code/src/installation/language_server.ts

@ -105,10 +105,13 @@ export async function ensureLanguageServerBinary(
`GitHub repository: ${err.message}`
);
dns.resolve('www.google.com').then(
addrs => console.log("DNS resolution was successful", addrs),
dns.resolve('example.com').then(
addrs => console.log("DNS resolution for example.com was successful", addrs),
err => {
console.error("DNS resolution failed, there might be an issue with Internet availability");
console.error(
"DNS resolution for example.com failed, " +
"there might be an issue with Internet availability"
);
console.error(err);
}
);