diff options
Diffstat (limited to 'editors')
-rw-r--r-- | editors/code/src/installation/language_server.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/code/src/installation/language_server.ts b/editors/code/src/installation/language_server.ts index 8d8c62952..b75d3a00a 100644 --- a/editors/code/src/installation/language_server.ts +++ b/editors/code/src/installation/language_server.ts | |||
@@ -34,7 +34,7 @@ export async function downloadLatestLanguageServer( | |||
34 | cancellable: false, // FIXME: add support for canceling download? | 34 | cancellable: false, // FIXME: add support for canceling download? |
35 | title: `Downloading language server ${releaseName}` | 35 | title: `Downloading language server ${releaseName}` |
36 | }, | 36 | }, |
37 | async (progress, _) => { | 37 | async (progress, _cancellationToken) => { |
38 | let lastPrecentage = 0; | 38 | let lastPrecentage = 0; |
39 | await downloadFile(downloadUrl, installationPath, (readBytes, totalBytes) => { | 39 | await downloadFile(downloadUrl, installationPath, (readBytes, totalBytes) => { |
40 | const newPercentage = (readBytes / totalBytes) * 100; | 40 | const newPercentage = (readBytes / totalBytes) * 100; |