aboutsummaryrefslogtreecommitdiff
path: root/editors/code/src/installation
diff options
context:
space:
mode:
Diffstat (limited to 'editors/code/src/installation')
-rw-r--r--editors/code/src/installation/server.ts4
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 */
88const downloadServer = notReentrant(async function downloadServer( 88const 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