|
|
|
@ -152,6 +152,7 @@ ws.onmessage = function (event) {
|
|
|
|
const message = JSON.parse(event.data);
|
|
|
|
const message = JSON.parse(event.data);
|
|
|
|
|
|
|
|
|
|
|
|
if (message.type === 'sync') {
|
|
|
|
if (message.type === 'sync') {
|
|
|
|
|
|
|
|
lastPingTs = new Date().getTime();
|
|
|
|
const data = message.data;
|
|
|
|
const data = message.data;
|
|
|
|
|
|
|
|
|
|
|
|
if (data.notes_tree) {
|
|
|
|
if (data.notes_tree) {
|
|
|
|
@ -169,4 +170,12 @@ ws.onmessage = function (event) {
|
|
|
|
const changesToPushCountEl = $("#changesToPushCount");
|
|
|
|
const changesToPushCountEl = $("#changesToPushCount");
|
|
|
|
changesToPushCountEl.html(message.changesToPushCount);
|
|
|
|
changesToPushCountEl.html(message.changesToPushCount);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
let lastPingTs = new Date().getTime();
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
setInterval(() => {
|
|
|
|
|
|
|
|
if (new Date().getTime() - lastPingTs > 5000) {
|
|
|
|
|
|
|
|
showError("No communication with server");
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
}, 3000);
|