diff options
| author | Veetaha <[email protected]> | 2020-02-09 19:55:29 +0000 |
|---|---|---|
| committer | Veetaha <[email protected]> | 2020-02-09 19:55:29 +0000 |
| commit | fa7b91a2f7732d78f1b7af52fc26bcf57f1c0044 (patch) | |
| tree | 9b67b7891ea93e28f639e1ee48785aa61a46c468 /editors | |
| parent | 1b9b13b4b4a75b5531c3f046ce6bf72d681f2732 (diff) | |
vscode: removed unnecessary awaits
Diffstat (limited to 'editors')
| -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 | }); |