diff --git a/public/javascripts/init.js b/public/javascripts/init.js index ceea8c2af..eeb896d52 100644 --- a/public/javascripts/init.js +++ b/public/javascripts/init.js @@ -152,6 +152,7 @@ ws.onmessage = function (event) { const message = JSON.parse(event.data); if (message.type === 'sync') { + lastPingTs = new Date().getTime(); const data = message.data; if (data.notes_tree) { @@ -169,4 +170,12 @@ ws.onmessage = function (event) { const changesToPushCountEl = $("#changesToPushCount"); changesToPushCountEl.html(message.changesToPushCount); } -}; \ No newline at end of file +}; + +let lastPingTs = new Date().getTime(); + +setInterval(() => { + if (new Date().getTime() - lastPingTs > 5000) { + showError("No communication with server"); + } +}, 3000); \ No newline at end of file