aboutsummaryrefslogtreecommitdiff
path: root/editors/code/src
diff options
context:
space:
mode:
authorVeetaha <[email protected]>2020-02-09 19:55:29 +0000
committerVeetaha <[email protected]>2020-02-09 19:55:29 +0000
commitfa7b91a2f7732d78f1b7af52fc26bcf57f1c0044 (patch)
tree9b67b7891ea93e28f639e1ee48785aa61a46c468 /editors/code/src
parent1b9b13b4b4a75b5531c3f046ce6bf72d681f2732 (diff)
vscode: removed unnecessary awaits
Diffstat (limited to 'editors/code/src')
-rw-r--r--editors/code/src/installation/language_server.ts4
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 });