mirror of
https://github.com/zulip/zulip.git
synced 2025-11-03 21:43:21 +00:00
28f3dfa284
This commit was originally automatically generated using `tools/lint --only=eslint --fix`. It was then modified by tabbott to contain only changes to a set of files that are unlikely to result in significant merge conflicts with any open pull request, excluding about 20 files. His plan is to merge the remaining changes with more precise care, potentially involving merging parts of conflicting pull requests before running the `eslint --fix` operation. Signed-off-by: Anders Kaseorg <anders@zulipchat.com>
34 lines
879 B
JavaScript
34 lines
879 B
JavaScript
/*
|
|
We want his module to load pretty early in the process
|
|
of starting the app, so that people.js can load early.
|
|
All the heavy lifting for reload logic happens in
|
|
reload.js, which has lots of UI dependencies. If we
|
|
didn't split out this module, our whole dependency tree
|
|
would be kind of upside down.
|
|
*/
|
|
|
|
let reload_in_progress = false;
|
|
let reload_pending = false;
|
|
|
|
exports.is_pending = function () {
|
|
return reload_pending;
|
|
};
|
|
|
|
exports.is_in_progress = function () {
|
|
return reload_in_progress;
|
|
};
|
|
|
|
exports.set_state_to_pending = function () {
|
|
// Why do we never set this back to false?
|
|
// Because the reload is gonna happen next. :)
|
|
// I was briefly confused by this, hence the comment.
|
|
reload_pending = true;
|
|
};
|
|
|
|
exports.set_state_to_in_progress = function () {
|
|
reload_in_progress = true;
|
|
};
|
|
|
|
|
|
window.reload_state = exports;
|