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 | |
parent | 1b9b13b4b4a75b5531c3f046ce6bf72d681f2732 (diff) |
vscode: removed unnecessary awaits
-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 | }); |