From fa0853dca6d335c9643f13c1ffeb5251aba05a70 Mon Sep 17 00:00:00 2001 From: "Machado, Meygha" Date: Tue, 17 Nov 2020 11:15:35 -0600 Subject: [PATCH] revert reconnect wait times --- ci/dev/vscode.patch | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/ci/dev/vscode.patch b/ci/dev/vscode.patch index 2311d318..c8854c8b 100644 --- a/ci/dev/vscode.patch +++ b/ci/dev/vscode.patch @@ -792,11 +792,10 @@ index fdd5890c69f72025b94913380f0d226226e8c8fb..e084236526b38c1144d47b8b3000b367 const logPrefix = commonLogPrefix(this._connectionType, this.reconnectionToken, true); this._options.logService.info(`${logPrefix} starting reconnecting loop. You can get more information with the trace log level.`); - this._onDidStateChange.fire(new ConnectionLostEvent()); -- const TIMES = [5, 5, 10, 10, 10, 10, 10, 30]; + let suppressPopup = true; + let forceDialog = false; + this._onDidStateChange.fire(new ConnectionLostEvent(suppressPopup)); -+ const TIMES = [1, 2, 3, 10, 10, 10, 10, 30]; + const TIMES = [5, 5, 10, 10, 10, 10, 10, 30]; + const SHOW_POPUP_ON_ATTEMPT = 2 // aka third attempt + const disconnectStartTime = Date.now();