mirror of
https://github.com/zulip/zulip.git
synced 2025-11-02 21:13:36 +00:00
eslint: Enable prefer-arrow-callback.
Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
committed by
Tim Abbott
parent
960174408f
commit
a79322bc94
@@ -199,11 +199,11 @@ function do_reload_app(send_after_reload, save_pointer, save_narrow, save_compos
|
||||
// broken state and cause lots of confusing tracebacks. So, we
|
||||
// set ourselves to try reloading a bit later, both periodically
|
||||
// and when the user focuses the window.
|
||||
$(window).on('focus', function () {
|
||||
$(window).on('focus', () => {
|
||||
blueslip.log("Retrying on-focus page reload");
|
||||
window.location.reload(true);
|
||||
});
|
||||
setInterval(function () {
|
||||
setInterval(() => {
|
||||
blueslip.log("Retrying page reload due to 30s timer");
|
||||
window.location.reload(true);
|
||||
}, 30000);
|
||||
@@ -322,7 +322,7 @@ exports.initiate = function (options) {
|
||||
}
|
||||
};
|
||||
|
||||
window.addEventListener('beforeunload', function () {
|
||||
window.addEventListener('beforeunload', () => {
|
||||
// When navigating away from the page do not try to reload.
|
||||
// The polling get_events call will fail after we delete the event queue.
|
||||
// When that happens we reload the page to correct the problem. If this
|
||||
|
||||
Reference in New Issue
Block a user