diff options
Diffstat (limited to 'editors')
-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 | ); |