paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-02 13:03:29 +00:00
Code Issues Packages Projects Releases Wiki Activity

Avoid double-rendering muting updates

Browse Source 
(imported from commit 359fdc03862d78729c5b5fbe6df277e571c7315c)
This commit is contained in:
Steve Howell
2013-09-11 11:27:43 -04:00
parent a1addad450
commit 6c25a70788
1 changed files with 14 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
static/js/muting_ui.js
View File

@@ -2,6 +2,12 @@ var muting_ui = (function () {
var exports = {};
function timestamp_ms() {
return (new Date()).getTime();
}
var last_topic_update = 0;
exports.persist_and_rerender = function () {
// Optimistically rerender our new muting preferences. The back
// end should eventually save it, and if it doesn't, it's a recoverable
@@ -11,6 +17,7 @@ exports.persist_and_rerender = function () {
var data = {
muted_topics: JSON.stringify(muting.get_muted_topics())
};
last_topic_update = timestamp_ms();
$.ajax({
type: 'POST',
url: '/json/set_muted_topics',
@@ -20,6 +27,13 @@ exports.persist_and_rerender = function () {
};
exports.handle_updates = function (muted_topics) {
if (timestamp_ms() < last_topic_update + 1000) {
// This topic update is either the one that we just rendered, or,
// much less likely, it's coming from another device and would probably
// be overwriting this device's preferences with stale data.
return;
}
muting.set_muted_topics(muted_topics);
current_msg_list.rerender();
};