mirrors/signal-desktop
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 2 Wiki Activity Actions

Faster WebSocket reconnects

Browse source
This commit is contained in:
Fedor Indutny 2021-06-09 15:28:54 -07:00 • committed by GitHub
parent 3cac4a19e1
commit 17e6ec468e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
25 changed files with 940 additions and 677 deletions
Download patch file Download diff file Expand all files Collapse all files

10
js/views/inbox_view.js
View file

@ -168,15 +168,15 @@
this.interval = setInterval(() => {
const status = window.getSocketStatus();
switch (status) {
case WebSocket.CONNECTING:
case 'CONNECTING':
break;
case WebSocket.OPEN:
case 'OPEN':
clearInterval(this.interval);
// if we've connected, we can wait for real empty event
this.interval = null;
break;
case WebSocket.CLOSING:
case WebSocket.CLOSED:
case 'CLOSING':
case 'CLOSED':
clearInterval(this.interval);
this.interval = null;
// if we failed to connect, we pretend we got an empty event
@ -184,7 +184,7 @@
break;
default:
window.log.warn(
'startConnectionListener: Found unexpected socket status; calling onEmpty() manually.'
`startConnectionListener: Found unexpected socket status ${status}; calling onEmpty() manually.`
);
this.onEmpty();
break;