aboutsummaryrefslogtreecommitdiff
path: root/editors
diff options
context:
space:
mode:
authorVeetaha <[email protected]>2020-03-16 10:19:26 +0000
committerGitHub <[email protected]>2020-03-16 10:19:26 +0000
commit5a0041c5aaeee49be84ce771fb0360ae55cbd8b2 (patch)
tree548b9b9a9461708d6d3baf9793fb38beda65797e /editors
parentfc47274541b5f4e9c8406c4dd401392129845396 (diff)
vscode-postrefactor: migrate to arrow functions
Diffstat (limited to 'editors')
-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