paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-15 19:31:58 +00:00
Code Issues Packages Projects Releases Wiki Activity

minor: Remove peer_data.clear().

Browse Source
This commit is contained in:
Steve Howell
2021-01-31 13:43:16 +00:00
committed by Tim Abbott
parent 58855e8224
commit 17ea215f18
2 changed files with 1 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
static/js/peer_data.js
View File

@@ -2,7 +2,7 @@ const {LazySet} = require("./lazy_set");
const people = require("./people");
// This maps a stream_id to a LazySet of user_ids who are subscribed.
let stream_subscribers;
const stream_subscribers = new Map();
function assert_number(id) {
if (typeof id !== "number") {
@@ -29,10 +29,6 @@ function get_user_set(stream_id) {
return subscribers;
}
export function clear() {
stream_subscribers = new Map();
}
export function is_subscriber_subset(stream_id1, stream_id2) {
const sub1_set = get_user_set(stream_id1);
const sub2_set = get_user_set(stream_id2);