diff options
| author | Veetaha <gerzoh1@gmail.com> | 2020-02-09 22:27:01 +0200 |
|---|---|---|
| committer | Veetaha <gerzoh1@gmail.com> | 2020-02-09 22:27:01 +0200 |
| commit | e709f113c107c75a7da86c39f6cdcb6d61dc360d (patch) | |
| tree | d0b4c86d717df118b07817fa5b4f39969ecbde4e /editors/code/src | |
| parent | 5d39f6d3b2fe9fcb08a9e9d4bad7edc42b3c9ea2 (diff) | |
| download | rust-e709f113c107c75a7da86c39f6cdcb6d61dc360d.tar.gz rust-e709f113c107c75a7da86c39f6cdcb6d61dc360d.zip | |
vscode: changed dns sanity-check url from google.com to example.com
Diffstat (limited to 'editors/code/src')
| -rw-r--r-- | editors/code/src/installation/language_server.ts | 9 |
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 fd8b2caac62..3510f9178f8 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( `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); } ); |
