From 880b0d2c02ad1a82a2bb3056de28dd52ec2d0e4d Mon Sep 17 00:00:00 2001 From: safisa Date: Fri, 12 Jan 2024 15:18:57 +0200 Subject: [PATCH] fix for web socket disconnection: file explorer progress bar issue #13216 --- packages/core/src/browser/tree/tree.ts | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/packages/core/src/browser/tree/tree.ts b/packages/core/src/browser/tree/tree.ts index 3e78cab724d47..432b67dac15f0 100644 --- a/packages/core/src/browser/tree/tree.ts +++ b/packages/core/src/browser/tree/tree.ts @@ -397,9 +397,10 @@ export class TreeImpl implements Tree { protected async doMarkAsBusy(node: Mutable, ms: number, token: CancellationToken): Promise { try { + token.onCancellationRequested(() => this.doResetBusy(node)); await timeout(ms, token); + if (token.isCancellationRequested) { return; } this.doSetBusy(node); - token.onCancellationRequested(() => this.doResetBusy(node)); } catch { /* no-op */ }