diff options
Diffstat (limited to 'editors/code')
-rw-r--r-- | editors/code/src/installation/server.ts | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/editors/code/src/installation/server.ts b/editors/code/src/installation/server.ts index f35958474..05730a778 100644 --- a/editors/code/src/installation/server.ts +++ b/editors/code/src/installation/server.ts | |||
@@ -85,10 +85,10 @@ function shouldDownloadServer( | |||
85 | /** | 85 | /** |
86 | * Enforcing no reentrancy for this is best-effort. | 86 | * Enforcing no reentrancy for this is best-effort. |
87 | */ | 87 | */ |
88 | const downloadServer = notReentrant(async function downloadServer( | 88 | const downloadServer = notReentrant(async ( |
89 | source: ArtifactSource.GithubRelease, | 89 | source: ArtifactSource.GithubRelease, |
90 | config: Config, | 90 | config: Config, |
91 | ): Promise<null | string> { | 91 | ): Promise<null | string> => { |
92 | try { | 92 | try { |
93 | const releaseInfo = await fetchArtifactReleaseInfo(source.repo, source.file, source.tag); | 93 | const releaseInfo = await fetchArtifactReleaseInfo(source.repo, source.file, source.tag); |
94 | 94 | ||