2017-03-30 20:04:01 +02:00
|
|
|
// This module just manages data. See activity.js for
|
|
|
|
// the UI of our buddy list.
|
|
|
|
|
2020-02-04 21:35:51 +01:00
|
|
|
// Dictionary mapping user_id -> presence data. May contain user_id
|
|
|
|
// values that are not yet registered in people.js (see long comment
|
|
|
|
// in `set_info` below for details).
|
2020-02-06 04:21:07 +01:00
|
|
|
exports.presence_info = new Map();
|
2017-03-30 20:04:01 +02:00
|
|
|
|
|
|
|
|
|
|
|
/* Mark users as offline after 140 seconds since their last checkin,
|
|
|
|
* Keep in sync with zerver/tornado/event_queue.py:receiver_is_idle
|
|
|
|
*/
|
2019-11-02 00:06:25 +01:00
|
|
|
const OFFLINE_THRESHOLD_SECS = 140;
|
2017-03-30 20:04:01 +02:00
|
|
|
|
2019-11-02 00:06:25 +01:00
|
|
|
const BIG_REALM_COUNT = 250;
|
2017-03-31 00:18:04 +02:00
|
|
|
|
2018-04-24 18:12:09 +02:00
|
|
|
exports.is_active = function (user_id) {
|
2020-02-06 04:21:07 +01:00
|
|
|
if (exports.presence_info.has(user_id)) {
|
|
|
|
const status = exports.presence_info.get(user_id).status;
|
2018-06-06 18:50:09 +02:00
|
|
|
if (status && status === "active") {
|
2017-03-30 20:04:01 +02:00
|
|
|
return true;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return false;
|
|
|
|
};
|
|
|
|
|
|
|
|
exports.get_status = function (user_id) {
|
2019-01-03 16:44:06 +01:00
|
|
|
if (people.is_my_user_id(user_id)) {
|
2017-04-13 04:28:15 +02:00
|
|
|
return "active";
|
|
|
|
}
|
2020-02-06 04:21:07 +01:00
|
|
|
if (exports.presence_info.has(user_id)) {
|
|
|
|
return exports.presence_info.get(user_id).status;
|
2017-06-19 19:03:39 +02:00
|
|
|
}
|
2017-10-12 18:08:42 +02:00
|
|
|
return "offline";
|
2017-03-30 20:04:01 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
exports.get_user_ids = function () {
|
2020-02-06 04:21:07 +01:00
|
|
|
return Array.from(exports.presence_info.keys());
|
2017-03-30 20:04:01 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
function status_from_timestamp(baseline_time, info) {
|
2019-11-02 00:06:25 +01:00
|
|
|
let status = 'offline';
|
|
|
|
let last_active = 0;
|
2020-02-05 15:08:51 +01:00
|
|
|
|
2020-02-06 03:58:06 +01:00
|
|
|
for (const [device, device_presence] of Object.entries(info)) {
|
2019-11-02 00:06:25 +01:00
|
|
|
const age = baseline_time - device_presence.timestamp;
|
2017-03-30 20:04:01 +02:00
|
|
|
if (last_active < device_presence.timestamp) {
|
|
|
|
last_active = device_presence.timestamp;
|
|
|
|
}
|
|
|
|
if (age < OFFLINE_THRESHOLD_SECS) {
|
|
|
|
switch (device_presence.status) {
|
2018-05-07 01:28:37 +02:00
|
|
|
case 'active':
|
|
|
|
status = device_presence.status;
|
|
|
|
break;
|
|
|
|
case 'idle':
|
|
|
|
if (status !== 'active') {
|
2017-03-30 20:04:01 +02:00
|
|
|
status = device_presence.status;
|
2018-05-07 01:28:37 +02:00
|
|
|
}
|
|
|
|
break;
|
|
|
|
case 'offline':
|
|
|
|
if (status !== 'active' && status !== 'idle') {
|
|
|
|
status = device_presence.status;
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
default:
|
|
|
|
blueslip.error('Unexpected status', {presence_object: device_presence, device: device}, undefined);
|
2017-03-30 20:04:01 +02:00
|
|
|
}
|
|
|
|
}
|
2020-02-06 03:58:06 +01:00
|
|
|
}
|
2017-03-30 20:04:01 +02:00
|
|
|
return {status: status,
|
|
|
|
last_active: last_active };
|
|
|
|
}
|
|
|
|
|
|
|
|
// For testing
|
|
|
|
exports._status_from_timestamp = status_from_timestamp;
|
|
|
|
|
2018-12-18 18:30:40 +01:00
|
|
|
exports.set_info_for_user = function (user_id, info, server_time) {
|
2019-11-02 00:06:25 +01:00
|
|
|
const status = status_from_timestamp(server_time, info);
|
2020-02-06 04:21:07 +01:00
|
|
|
exports.presence_info.set(user_id, status);
|
2017-03-30 20:04:01 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
exports.set_info = function (presences, server_timestamp) {
|
2020-02-06 04:21:07 +01:00
|
|
|
exports.presence_info.clear();
|
2020-02-06 03:58:06 +01:00
|
|
|
for (const [user_id_str, info] of Object.entries(presences)) {
|
2020-02-04 21:35:51 +01:00
|
|
|
// Note: In contrast with essentially every other piece of
|
|
|
|
// state updates we receive from the server, precense updates
|
|
|
|
// are pulled independently from server_events_dispatch.js.
|
|
|
|
//
|
|
|
|
// This means that if we're coming back from offline and new
|
|
|
|
// users were created in the meantime, we'll be populating
|
|
|
|
// exports.presence_info with user IDs not yet present in
|
|
|
|
// people.js. This is safe because we always access
|
|
|
|
// exports.presence_info as a filter on sets of users obtained
|
|
|
|
// elsewhere, but we need to be careful to avoid trying to
|
|
|
|
// look up user_ids obtained via presence_info in other data
|
|
|
|
// sources.
|
2020-02-02 17:29:05 +01:00
|
|
|
const status = status_from_timestamp(server_timestamp,
|
|
|
|
info);
|
2018-09-08 14:25:06 +02:00
|
|
|
|
2020-02-02 17:29:05 +01:00
|
|
|
const user_id = parseInt(user_id_str, 10);
|
2020-02-06 04:21:07 +01:00
|
|
|
exports.presence_info.set(user_id, status);
|
2020-02-06 03:58:06 +01:00
|
|
|
}
|
2017-03-31 00:18:04 +02:00
|
|
|
exports.update_info_for_small_realm();
|
|
|
|
};
|
|
|
|
|
|
|
|
exports.update_info_for_small_realm = function () {
|
|
|
|
if (people.get_realm_count() >= BIG_REALM_COUNT) {
|
|
|
|
// For big realms, we don't want to bloat our buddy
|
|
|
|
// lists with lots of long-time-inactive users.
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
// For small realms, we create presence info for users
|
|
|
|
// that the server didn't include in its presence update.
|
2019-11-02 00:06:25 +01:00
|
|
|
const persons = people.get_realm_persons();
|
2017-03-31 00:18:04 +02:00
|
|
|
|
|
|
|
_.each(persons, function (person) {
|
2019-11-02 00:06:25 +01:00
|
|
|
const user_id = person.user_id;
|
|
|
|
let status = "offline";
|
2017-03-31 00:18:04 +02:00
|
|
|
|
2020-02-06 04:21:07 +01:00
|
|
|
if (exports.presence_info.has(user_id)) {
|
2017-03-31 00:18:04 +02:00
|
|
|
// this is normal, we have data for active
|
|
|
|
// users that we don't want to clobber.
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2017-06-07 18:36:26 +02:00
|
|
|
if (person.is_bot) {
|
|
|
|
// we don't show presence for bots
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2018-09-08 14:41:41 +02:00
|
|
|
if (people.is_my_user_id(user_id)) {
|
|
|
|
status = "active";
|
|
|
|
}
|
|
|
|
|
2020-02-06 04:21:07 +01:00
|
|
|
exports.presence_info.set(user_id, {
|
2018-09-08 14:41:41 +02:00
|
|
|
status: status,
|
2017-03-31 00:18:04 +02:00
|
|
|
last_active: undefined,
|
2020-02-06 04:21:07 +01:00
|
|
|
});
|
2017-03-31 00:18:04 +02:00
|
|
|
});
|
2017-03-30 20:04:01 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
exports.last_active_date = function (user_id) {
|
2020-02-06 04:21:07 +01:00
|
|
|
const info = exports.presence_info.get(user_id);
|
2017-03-30 20:04:01 +02:00
|
|
|
|
|
|
|
if (!info || !info.last_active) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2019-11-02 00:06:25 +01:00
|
|
|
const date = new XDate(info.last_active * 1000);
|
2017-03-30 20:04:01 +02:00
|
|
|
return date;
|
|
|
|
};
|
|
|
|
|
2019-10-25 09:45:13 +02:00
|
|
|
window.presence = exports;
|