mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

vscode: removed unnecessary awaits

Browse Source
This commit is contained in:
Veetaha 2020-02-09 21:55:29 +02:00
parent 1b9b13b4b4
commit fa7b91a2f7
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
editors/code/src/installation/language_server.ts
View File

@ -100,12 +100,12 @@ export async function ensureLanguageServerBinary(
try {
await downloadLatestLanguageServer(langServerSource);
} catch (err) {
await vscode.window.showErrorMessage(
vscode.window.showErrorMessage(
`Failed to download language server from ${langServerSource.repo.name} ` +
`GitHub repository: ${err.message}`
);
await dns.resolve('www.google.com').catch(err => {
dns.resolve('www.google.com').catch(err => {
console.error("DNS resolution failed, there might be an issue with Internet availability");
console.error(err);
});