diff options
Diffstat (limited to 'editors')
| -rw-r--r-- | editors/code/src/installation/extension.ts | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/editors/code/src/installation/extension.ts b/editors/code/src/installation/extension.ts index eb6acc341..87a587403 100644 --- a/editors/code/src/installation/extension.ts +++ b/editors/code/src/installation/extension.ts | |||
| @@ -94,6 +94,10 @@ async function askToDownloadProperExtensionVersion(config: Config, reason = "") | |||
| 94 | 94 | ||
| 95 | /** | 95 | /** |
| 96 | * Shutdowns the process in case of success (i.e. reloads the window) or throws an error. | 96 | * Shutdowns the process in case of success (i.e. reloads the window) or throws an error. |
| 97 | * | ||
| 98 | * ACHTUNG!: this function has a crazy amount of state transitions, handling errors during | ||
| 99 | * each of them would result in a ton of code (especially accounting for cross-process | ||
| 100 | * shared mutable `globalState` access). Enforcing reentrancy for this is best-effort. | ||
| 97 | */ | 101 | */ |
| 98 | const tryDownloadNightlyExtension = notReentrant(async function tryDownloadNightlyExtension( | 102 | const tryDownloadNightlyExtension = notReentrant(async function tryDownloadNightlyExtension( |
| 99 | config: Config, | 103 | config: Config, |