diff options
Diffstat (limited to 'editors')
| -rw-r--r-- | editors/code/src/installation/extension.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/code/src/installation/extension.ts b/editors/code/src/installation/extension.ts index 0d69b8d0c..e0aa5317d 100644 --- a/editors/code/src/installation/extension.ts +++ b/editors/code/src/installation/extension.ts | |||
| @@ -109,7 +109,7 @@ async function askToDownloadProperExtensionVersion(config: Config, reason = "") | |||
| 109 | * each of them would result in a ton of code (especially accounting for cross-process | 109 | * each of them would result in a ton of code (especially accounting for cross-process |
| 110 | * shared mutable `globalState` access). Enforcing no reentrancy for this is best-effort. | 110 | * shared mutable `globalState` access). Enforcing no reentrancy for this is best-effort. |
| 111 | */ | 111 | */ |
| 112 | const tryDownloadNightlyExtension = notReentrant(async function tryDownloadNightlyExtension( | 112 | const tryDownloadNightlyExtension = notReentrant(async ( |
| 113 | config: Config, | 113 | config: Config, |
| 114 | shouldDownload: (releaseInfo: ArtifactReleaseInfo) => boolean = () => true | 114 | shouldDownload: (releaseInfo: ArtifactReleaseInfo) => boolean = () => true |
| 115 | ): Promise<never | void> { | 115 | ): Promise<never | void> { |