diff options
Diffstat (limited to 'editors/code/src')
-rw-r--r-- | editors/code/src/installation/language_server.ts | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/editors/code/src/installation/language_server.ts b/editors/code/src/installation/language_server.ts index 9fb1ce42e..fd8b2caac 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').catch(err => { | 108 | dns.resolve('www.google.com').then( |
109 | console.error("DNS resolution failed, there might be an issue with Internet availability"); | 109 | addrs => console.log("DNS resolution was successful", addrs), |
110 | console.error(err); | 110 | err => { |
111 | }); | 111 | console.error("DNS resolution failed, there might be an issue with Internet availability"); |
112 | console.error(err); | ||
113 | } | ||
114 | ); | ||
112 | 115 | ||
113 | return null; | 116 | return null; |
114 | } | 117 | } |