diff options
Diffstat (limited to 'editors/code/src/installation/language_server.ts')
-rw-r--r-- | editors/code/src/installation/language_server.ts | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/editors/code/src/installation/language_server.ts b/editors/code/src/installation/language_server.ts index 1ce67b8b2..9fb1ce42e 100644 --- a/editors/code/src/installation/language_server.ts +++ b/editors/code/src/installation/language_server.ts | |||
@@ -100,12 +100,12 @@ export async function ensureLanguageServerBinary( | |||
100 | try { | 100 | try { |
101 | await downloadLatestLanguageServer(langServerSource); | 101 | await downloadLatestLanguageServer(langServerSource); |
102 | } catch (err) { | 102 | } catch (err) { |
103 | await vscode.window.showErrorMessage( | 103 | vscode.window.showErrorMessage( |
104 | `Failed to download language server from ${langServerSource.repo.name} ` + | 104 | `Failed to download language server from ${langServerSource.repo.name} ` + |
105 | `GitHub repository: ${err.message}` | 105 | `GitHub repository: ${err.message}` |
106 | ); | 106 | ); |
107 | 107 | ||
108 | await dns.resolve('www.google.com').catch(err => { | 108 | dns.resolve('www.google.com').catch(err => { |
109 | console.error("DNS resolution failed, there might be an issue with Internet availability"); | 109 | console.error("DNS resolution failed, there might be an issue with Internet availability"); |
110 | console.error(err); | 110 | console.error(err); |
111 | }); | 111 | }); |