mirror of
https://github.com/zulip/zulip.git
synced 2025-11-06 06:53:25 +00:00
c1675913a2
Ever since we started bundling the app with webpack, there’s been less and less overlap between our ‘static’ directory (files belonging to the frontend app) and Django’s interpretation of the ‘static’ directory (files served directly to the web). Split the app out to its own ‘web’ directory outside of ‘static’, and remove all the custom collectstatic --ignore rules. This makes it much clearer what’s actually being served to the web, and what’s being bundled by webpack. It also shrinks the release tarball by 3%. Signed-off-by: Anders Kaseorg <anders@zulip.com>
45 lines
1.4 KiB
JavaScript
45 lines
1.4 KiB
JavaScript
import {all_messages_data} from "./all_messages_data";
|
|
import * as blueslip from "./blueslip";
|
|
import {page_params} from "./page_params";
|
|
|
|
function truncate_precision(float) {
|
|
return Number.parseFloat(float.toFixed(3));
|
|
}
|
|
|
|
export const get_next_id_float = (function () {
|
|
const already_used = new Set();
|
|
|
|
return function () {
|
|
const local_id_increment = 0.01;
|
|
let latest = page_params.max_message_id;
|
|
if (all_messages_data.last() !== undefined) {
|
|
latest = all_messages_data.last().id;
|
|
}
|
|
latest = Math.max(0, latest);
|
|
const local_id_float = truncate_precision(latest + local_id_increment);
|
|
|
|
if (already_used.has(local_id_float)) {
|
|
// If our id is already used, it is probably an edge case like we had
|
|
// to abort a very recent message.
|
|
blueslip.warn("We don't reuse ids for local echo.");
|
|
return undefined;
|
|
}
|
|
|
|
if (local_id_float % 1 > local_id_increment * 5) {
|
|
blueslip.warn("Turning off local echo for this message to let host catch up");
|
|
return undefined;
|
|
}
|
|
|
|
if (local_id_float % 1 === 0) {
|
|
// The logic to stop at 0.05 should prevent us from ever wrapping around
|
|
// to the next integer.
|
|
blueslip.error("Programming error");
|
|
return undefined;
|
|
}
|
|
|
|
already_used.add(local_id_float);
|
|
|
|
return local_id_float;
|
|
};
|
|
})();
|