diff options
author | Veetaha <[email protected]> | 2020-02-09 20:27:01 +0000 |
---|---|---|
committer | Veetaha <[email protected]> | 2020-02-09 20:27:01 +0000 |
commit | e709f113c107c75a7da86c39f6cdcb6d61dc360d (patch) | |
tree | d0b4c86d717df118b07817fa5b4f39969ecbde4e /editors/code/src/installation | |
parent | 5d39f6d3b2fe9fcb08a9e9d4bad7edc42b3c9ea2 (diff) |
vscode: changed dns sanity-check url from google.com to example.com
Diffstat (limited to 'editors/code/src/installation')
-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 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 | ); |