Mirror
/
zulip
mirror of https://github.com/zulip/zulip.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

local_message: Convert already_used from object to Set. 

Signed-off-by: Anders Kaseorg <anders@zulipchat.com>
This commit is contained in:
Anders Kaseorg 2020-02-11 21:25:48 -08:00 committed by Tim Abbott
parent ec1ebc936b
commit 0d6d36ae16
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
static/js/local_message.js
View File

@ -17,7 +17,7 @@ exports.insert_message = function (message) {
exports.get_next_id_float = (function () {
const already_used = {};
const already_used = new Set();
return function () {
const local_id_increment = 0.01;
@ -28,7 +28,7 @@ exports.get_next_id_float = (function () {
latest = Math.max(0, latest);
const local_id_float = truncate_precision(latest + local_id_increment);
if (already_used[local_id_float]) {
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.");
@ -47,7 +47,7 @@ exports.get_next_id_float = (function () {
return;
}
already_used[local_id_float] = true;
already_used.add(local_id_float);
return local_id_float;
};