revert reconnect wait times

This commit is contained in:
Machado, Meygha 2020-11-17 11:15:35 -06:00 committed by Anmol Sethi
parent a898dd34b9
commit fa0853dca6
No known key found for this signature in database
GPG Key ID: 8CEF1878FF10ADEB

View File

@ -792,11 +792,10 @@ index fdd5890c69f72025b94913380f0d226226e8c8fb..e084236526b38c1144d47b8b3000b367
const logPrefix = commonLogPrefix(this._connectionType, this.reconnectionToken, true); 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._options.logService.info(`${logPrefix} starting reconnecting loop. You can get more information with the trace log level.`);
- this._onDidStateChange.fire(new ConnectionLostEvent()); - this._onDidStateChange.fire(new ConnectionLostEvent());
- const TIMES = [5, 5, 10, 10, 10, 10, 10, 30];
+ let suppressPopup = true; + let suppressPopup = true;
+ let forceDialog = false; + let forceDialog = false;
+ this._onDidStateChange.fire(new ConnectionLostEvent(suppressPopup)); + 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 SHOW_POPUP_ON_ATTEMPT = 2 // aka third attempt
+ +
const disconnectStartTime = Date.now(); const disconnectStartTime = Date.now();