2016-01-06 23:26:29 -05:00
|
|
|
# Copyright 2014-2016 OpenMarket Ltd
|
2014-08-20 14:15:47 -04:00
|
|
|
#
|
|
|
|
# Licensed under the Apache License, Version 2.0 (the "License");
|
|
|
|
# you may not use this file except in compliance with the License.
|
|
|
|
# You may obtain a copy of the License at
|
|
|
|
#
|
|
|
|
# http://www.apache.org/licenses/LICENSE-2.0
|
|
|
|
#
|
|
|
|
# Unless required by applicable law or agreed to in writing, software
|
|
|
|
# distributed under the License is distributed on an "AS IS" BASIS,
|
|
|
|
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
|
|
# See the License for the specific language governing permissions and
|
|
|
|
# limitations under the License.
|
2018-07-09 02:09:20 -04:00
|
|
|
import logging
|
2020-08-26 12:05:36 -04:00
|
|
|
import random
|
2021-09-21 13:34:26 -04:00
|
|
|
from typing import TYPE_CHECKING, Dict, Iterable, List, Optional, Set, Tuple
|
2018-07-09 02:09:20 -04:00
|
|
|
|
2021-12-30 13:47:12 -05:00
|
|
|
import attr
|
|
|
|
|
2020-08-26 12:05:36 -04:00
|
|
|
from synapse.api.errors import AuthError, ShadowBanError, SynapseError
|
2020-10-15 12:33:28 -04:00
|
|
|
from synapse.appservice import ApplicationService
|
2021-04-01 12:08:21 -04:00
|
|
|
from synapse.metrics.background_process_metrics import (
|
|
|
|
run_as_background_process,
|
|
|
|
wrap_as_background_process,
|
|
|
|
)
|
2020-07-16 10:12:54 -04:00
|
|
|
from synapse.replication.tcp.streams import TypingStream
|
2021-09-21 13:34:26 -04:00
|
|
|
from synapse.streams import EventSource
|
2021-01-26 10:50:21 -05:00
|
|
|
from synapse.types import JsonDict, Requester, UserID, get_domain_from_id
|
2018-09-05 05:20:40 -04:00
|
|
|
from synapse.util.caches.stream_change_cache import StreamChangeCache
|
2016-02-09 06:31:04 -05:00
|
|
|
from synapse.util.metrics import Measure
|
2016-09-23 08:56:14 -04:00
|
|
|
from synapse.util.wheel_timer import WheelTimer
|
2014-08-20 14:15:47 -04:00
|
|
|
|
2020-07-16 10:12:54 -04:00
|
|
|
if TYPE_CHECKING:
|
|
|
|
from synapse.server import HomeServer
|
|
|
|
|
2014-08-20 14:15:47 -04:00
|
|
|
logger = logging.getLogger(__name__)
|
|
|
|
|
|
|
|
|
|
|
|
# A tiny object useful for storing a user's membership in a room, as a mapping
|
|
|
|
# key
|
2021-12-30 13:47:12 -05:00
|
|
|
@attr.s(slots=True, frozen=True, auto_attribs=True)
|
|
|
|
class RoomMember:
|
|
|
|
room_id: str
|
|
|
|
user_id: str
|
2014-08-20 14:15:47 -04:00
|
|
|
|
|
|
|
|
2016-09-23 08:56:14 -04:00
|
|
|
# How often we expect remote servers to resend us presence.
|
|
|
|
FEDERATION_TIMEOUT = 60 * 1000
|
|
|
|
|
|
|
|
# How often to resend typing across federation.
|
|
|
|
FEDERATION_PING_INTERVAL = 40 * 1000
|
|
|
|
|
|
|
|
|
2020-07-16 10:12:54 -04:00
|
|
|
class FollowerTypingHandler:
|
|
|
|
"""A typing handler on a different process than the writer that is updated
|
|
|
|
via replication.
|
|
|
|
"""
|
|
|
|
|
|
|
|
def __init__(self, hs: "HomeServer"):
|
2022-02-23 06:04:02 -05:00
|
|
|
self.store = hs.get_datastores().main
|
2021-09-13 13:07:12 -04:00
|
|
|
self.server_name = hs.config.server.server_name
|
2014-08-20 14:15:47 -04:00
|
|
|
self.clock = hs.get_clock()
|
2020-07-16 10:12:54 -04:00
|
|
|
self.is_mine_id = hs.is_mine_id
|
2014-08-20 14:15:47 -04:00
|
|
|
|
2020-07-16 10:12:54 -04:00
|
|
|
self.federation = None
|
|
|
|
if hs.should_send_federation():
|
|
|
|
self.federation = hs.get_federation_sender()
|
2014-08-20 14:15:47 -04:00
|
|
|
|
2021-11-03 10:25:47 -04:00
|
|
|
if hs.get_instance_name() not in hs.config.worker.writers.typing:
|
|
|
|
hs.get_federation_registry().register_instances_for_edu(
|
2020-07-16 10:12:54 -04:00
|
|
|
"m.typing",
|
|
|
|
hs.config.worker.writers.typing,
|
|
|
|
)
|
2014-08-20 14:15:47 -04:00
|
|
|
|
2020-07-16 10:12:54 -04:00
|
|
|
# map room IDs to serial numbers
|
2021-07-16 13:22:36 -04:00
|
|
|
self._room_serials: Dict[str, int] = {}
|
2020-07-16 10:12:54 -04:00
|
|
|
# map room IDs to sets of users currently typing
|
2021-07-16 13:22:36 -04:00
|
|
|
self._room_typing: Dict[str, Set[str]] = {}
|
2014-12-11 13:33:09 -05:00
|
|
|
|
2021-07-16 13:22:36 -04:00
|
|
|
self._member_last_federation_poke: Dict[RoomMember, int] = {}
|
2021-09-10 12:03:18 -04:00
|
|
|
self.wheel_timer: WheelTimer[RoomMember] = WheelTimer(bucket_size=5000)
|
2014-12-10 15:48:12 -05:00
|
|
|
self._latest_room_serial = 0
|
2018-09-05 05:20:40 -04:00
|
|
|
|
2016-09-23 08:56:14 -04:00
|
|
|
self.clock.looping_call(self._handle_timeouts, 5000)
|
|
|
|
|
2021-01-26 10:50:21 -05:00
|
|
|
def _reset(self) -> None:
|
2020-07-16 10:12:54 -04:00
|
|
|
"""Reset the typing handler's data caches."""
|
2018-11-02 09:19:23 -04:00
|
|
|
# map room IDs to serial numbers
|
|
|
|
self._room_serials = {}
|
|
|
|
# map room IDs to sets of users currently typing
|
|
|
|
self._room_typing = {}
|
|
|
|
|
2020-07-16 10:12:54 -04:00
|
|
|
self._member_last_federation_poke = {}
|
|
|
|
self.wheel_timer = WheelTimer(bucket_size=5000)
|
|
|
|
|
2021-04-01 12:08:21 -04:00
|
|
|
@wrap_as_background_process("typing._handle_timeouts")
|
2021-11-17 14:07:02 -05:00
|
|
|
async def _handle_timeouts(self) -> None:
|
2019-07-29 12:02:18 -04:00
|
|
|
logger.debug("Checking for typing timeouts")
|
2016-09-23 08:56:14 -04:00
|
|
|
|
|
|
|
now = self.clock.time_msec()
|
|
|
|
|
|
|
|
members = set(self.wheel_timer.fetch(now))
|
|
|
|
|
|
|
|
for member in members:
|
2020-07-16 10:12:54 -04:00
|
|
|
self._handle_timeout_for_member(now, member)
|
|
|
|
|
2021-01-26 10:50:21 -05:00
|
|
|
def _handle_timeout_for_member(self, now: int, member: RoomMember) -> None:
|
2020-07-16 10:12:54 -04:00
|
|
|
if not self.is_typing(member):
|
|
|
|
# Nothing to do if they're no longer typing
|
|
|
|
return
|
|
|
|
|
|
|
|
# Check if we need to resend a keep alive over federation for this
|
|
|
|
# user.
|
|
|
|
if self.federation and self.is_mine_id(member.user_id):
|
|
|
|
last_fed_poke = self._member_last_federation_poke.get(member, None)
|
|
|
|
if not last_fed_poke or last_fed_poke + FEDERATION_PING_INTERVAL <= now:
|
|
|
|
run_as_background_process(
|
|
|
|
"typing._push_remote", self._push_remote, member=member, typing=True
|
|
|
|
)
|
|
|
|
|
|
|
|
# Add a paranoia timer to ensure that we always have a timer for
|
|
|
|
# each person typing.
|
|
|
|
self.wheel_timer.insert(now=now, obj=member, then=now + 60 * 1000)
|
2016-10-24 10:51:22 -04:00
|
|
|
|
2021-01-26 10:50:21 -05:00
|
|
|
def is_typing(self, member: RoomMember) -> bool:
|
2021-12-30 13:47:12 -05:00
|
|
|
return member.user_id in self._room_typing.get(member.room_id, set())
|
2014-08-20 14:15:47 -04:00
|
|
|
|
2021-01-26 10:50:21 -05:00
|
|
|
async def _push_remote(self, member: RoomMember, typing: bool) -> None:
|
2020-07-16 10:12:54 -04:00
|
|
|
if not self.federation:
|
|
|
|
return
|
|
|
|
|
|
|
|
try:
|
|
|
|
users = await self.store.get_users_in_room(member.room_id)
|
|
|
|
self._member_last_federation_poke[member] = self.clock.time_msec()
|
|
|
|
|
|
|
|
now = self.clock.time_msec()
|
|
|
|
self.wheel_timer.insert(
|
|
|
|
now=now, obj=member, then=now + FEDERATION_PING_INTERVAL
|
|
|
|
)
|
|
|
|
|
|
|
|
for domain in {get_domain_from_id(u) for u in users}:
|
|
|
|
if domain != self.server_name:
|
|
|
|
logger.debug("sending typing update to %s", domain)
|
|
|
|
self.federation.build_and_send_edu(
|
|
|
|
destination=domain,
|
|
|
|
edu_type="m.typing",
|
|
|
|
content={
|
|
|
|
"room_id": member.room_id,
|
|
|
|
"user_id": member.user_id,
|
|
|
|
"typing": typing,
|
|
|
|
},
|
|
|
|
key=member,
|
|
|
|
)
|
|
|
|
except Exception:
|
|
|
|
logger.exception("Error pushing typing notif to remotes")
|
|
|
|
|
|
|
|
def process_replication_rows(
|
|
|
|
self, token: int, rows: List[TypingStream.TypingStreamRow]
|
2021-01-26 10:50:21 -05:00
|
|
|
) -> None:
|
2020-07-16 10:12:54 -04:00
|
|
|
"""Should be called whenever we receive updates for typing stream."""
|
|
|
|
|
|
|
|
if self._latest_room_serial > token:
|
|
|
|
# The master has gone backwards. To prevent inconsistent data, just
|
|
|
|
# clear everything.
|
|
|
|
self._reset()
|
|
|
|
|
|
|
|
# Set the latest serial token to whatever the server gave us.
|
|
|
|
self._latest_room_serial = token
|
|
|
|
|
|
|
|
for row in rows:
|
|
|
|
self._room_serials[row.room_id] = token
|
|
|
|
|
2021-12-30 13:47:12 -05:00
|
|
|
prev_typing = self._room_typing.get(row.room_id, set())
|
2020-07-16 10:12:54 -04:00
|
|
|
now_typing = set(row.user_ids)
|
2021-12-30 13:47:12 -05:00
|
|
|
self._room_typing[row.room_id] = now_typing
|
2020-07-16 10:12:54 -04:00
|
|
|
|
2020-10-27 11:32:19 -04:00
|
|
|
if self.federation:
|
|
|
|
run_as_background_process(
|
|
|
|
"_send_changes_in_typing_to_remotes",
|
|
|
|
self._send_changes_in_typing_to_remotes,
|
|
|
|
row.room_id,
|
|
|
|
prev_typing,
|
|
|
|
now_typing,
|
|
|
|
)
|
2020-07-16 10:12:54 -04:00
|
|
|
|
2020-10-27 11:32:19 -04:00
|
|
|
async def _send_changes_in_typing_to_remotes(
|
2020-07-16 10:12:54 -04:00
|
|
|
self, room_id: str, prev_typing: Set[str], now_typing: Set[str]
|
2021-01-26 10:50:21 -05:00
|
|
|
) -> None:
|
2020-07-16 10:12:54 -04:00
|
|
|
"""Process a change in typing of a room from replication, sending EDUs
|
|
|
|
for any local users.
|
|
|
|
"""
|
2020-10-27 11:32:19 -04:00
|
|
|
|
|
|
|
if not self.federation:
|
|
|
|
return
|
|
|
|
|
2020-07-16 10:12:54 -04:00
|
|
|
for user_id in now_typing - prev_typing:
|
|
|
|
if self.is_mine_id(user_id):
|
|
|
|
await self._push_remote(RoomMember(room_id, user_id), True)
|
|
|
|
|
|
|
|
for user_id in prev_typing - now_typing:
|
|
|
|
if self.is_mine_id(user_id):
|
|
|
|
await self._push_remote(RoomMember(room_id, user_id), False)
|
|
|
|
|
2021-01-26 10:50:21 -05:00
|
|
|
def get_current_token(self) -> int:
|
2020-07-16 10:12:54 -04:00
|
|
|
return self._latest_room_serial
|
|
|
|
|
|
|
|
|
|
|
|
class TypingWriterHandler(FollowerTypingHandler):
|
2021-01-26 10:50:21 -05:00
|
|
|
def __init__(self, hs: "HomeServer"):
|
2020-07-16 10:12:54 -04:00
|
|
|
super().__init__(hs)
|
|
|
|
|
2021-11-03 10:25:47 -04:00
|
|
|
assert hs.get_instance_name() in hs.config.worker.writers.typing
|
2020-07-16 10:12:54 -04:00
|
|
|
|
|
|
|
self.auth = hs.get_auth()
|
|
|
|
self.notifier = hs.get_notifier()
|
2021-07-06 09:31:13 -04:00
|
|
|
self.event_auth_handler = hs.get_event_auth_handler()
|
2020-07-16 10:12:54 -04:00
|
|
|
|
|
|
|
self.hs = hs
|
|
|
|
|
|
|
|
hs.get_federation_registry().register_edu_handler("m.typing", self._recv_edu)
|
|
|
|
|
|
|
|
hs.get_distributor().observe("user_left_room", self.user_left_room)
|
|
|
|
|
2021-01-26 10:50:21 -05:00
|
|
|
# clock time we expect to stop
|
2021-07-16 13:22:36 -04:00
|
|
|
self._member_typing_until: Dict[RoomMember, int] = {}
|
2020-07-16 10:12:54 -04:00
|
|
|
|
|
|
|
# caches which room_ids changed at which serials
|
|
|
|
self._typing_stream_change_cache = StreamChangeCache(
|
|
|
|
"TypingStreamChangeCache", self._latest_room_serial
|
|
|
|
)
|
|
|
|
|
2021-01-26 10:50:21 -05:00
|
|
|
def _handle_timeout_for_member(self, now: int, member: RoomMember) -> None:
|
2020-07-16 10:12:54 -04:00
|
|
|
super()._handle_timeout_for_member(now, member)
|
|
|
|
|
|
|
|
if not self.is_typing(member):
|
|
|
|
# Nothing to do if they're no longer typing
|
|
|
|
return
|
|
|
|
|
|
|
|
until = self._member_typing_until.get(member, None)
|
|
|
|
if not until or until <= now:
|
|
|
|
logger.info("Timing out typing for: %s", member.user_id)
|
|
|
|
self._stopped_typing(member)
|
|
|
|
return
|
|
|
|
|
2021-01-26 10:50:21 -05:00
|
|
|
async def started_typing(
|
|
|
|
self, target_user: UserID, requester: Requester, room_id: str, timeout: int
|
|
|
|
) -> None:
|
2016-06-02 11:28:54 -04:00
|
|
|
target_user_id = target_user.to_string()
|
2020-08-26 12:05:36 -04:00
|
|
|
auth_user_id = requester.user.to_string()
|
2016-06-02 11:28:54 -04:00
|
|
|
|
|
|
|
if not self.is_mine_id(target_user_id):
|
2019-11-12 08:08:12 -05:00
|
|
|
raise SynapseError(400, "User is not hosted on this homeserver")
|
2014-08-20 14:15:47 -04:00
|
|
|
|
2016-06-02 11:28:54 -04:00
|
|
|
if target_user_id != auth_user_id:
|
2014-08-20 14:15:47 -04:00
|
|
|
raise AuthError(400, "Cannot set another user's typing state")
|
|
|
|
|
2020-08-26 12:05:36 -04:00
|
|
|
if requester.shadow_banned:
|
|
|
|
# We randomly sleep a bit just to annoy the requester.
|
|
|
|
await self.clock.sleep(random.randint(1, 10))
|
|
|
|
raise ShadowBanError()
|
|
|
|
|
2020-06-17 10:37:59 -04:00
|
|
|
await self.auth.check_user_in_room(room_id, target_user_id)
|
2014-12-11 13:11:43 -05:00
|
|
|
|
2016-06-02 11:28:54 -04:00
|
|
|
logger.debug("%s has started typing in %s", target_user_id, room_id)
|
2014-12-11 13:00:15 -05:00
|
|
|
|
2016-06-02 11:28:54 -04:00
|
|
|
member = RoomMember(room_id=room_id, user_id=target_user_id)
|
2014-08-20 14:15:47 -04:00
|
|
|
|
2016-09-23 08:56:14 -04:00
|
|
|
was_present = member.user_id in self._room_typing.get(room_id, set())
|
2014-08-20 14:15:47 -04:00
|
|
|
|
2016-09-23 08:56:14 -04:00
|
|
|
now = self.clock.time_msec()
|
|
|
|
self._member_typing_until[member] = now + timeout
|
2014-12-10 14:39:01 -05:00
|
|
|
|
2016-09-23 08:56:14 -04:00
|
|
|
self.wheel_timer.insert(now=now, obj=member, then=now + timeout)
|
2015-01-12 13:22:00 -05:00
|
|
|
|
2014-08-20 14:15:47 -04:00
|
|
|
if was_present:
|
|
|
|
# No point sending another notification
|
2021-01-26 10:50:21 -05:00
|
|
|
return
|
2014-08-20 14:15:47 -04:00
|
|
|
|
2017-05-26 05:02:04 -04:00
|
|
|
self._push_update(member=member, typing=True)
|
2014-08-20 14:15:47 -04:00
|
|
|
|
2021-01-26 10:50:21 -05:00
|
|
|
async def stopped_typing(
|
|
|
|
self, target_user: UserID, requester: Requester, room_id: str
|
|
|
|
) -> None:
|
2016-06-02 11:28:54 -04:00
|
|
|
target_user_id = target_user.to_string()
|
2020-08-26 12:05:36 -04:00
|
|
|
auth_user_id = requester.user.to_string()
|
2016-06-02 11:28:54 -04:00
|
|
|
|
|
|
|
if not self.is_mine_id(target_user_id):
|
2019-11-12 08:08:12 -05:00
|
|
|
raise SynapseError(400, "User is not hosted on this homeserver")
|
2014-08-20 14:15:47 -04:00
|
|
|
|
2016-06-02 11:28:54 -04:00
|
|
|
if target_user_id != auth_user_id:
|
2014-08-20 14:15:47 -04:00
|
|
|
raise AuthError(400, "Cannot set another user's typing state")
|
|
|
|
|
2020-08-26 12:05:36 -04:00
|
|
|
if requester.shadow_banned:
|
|
|
|
# We randomly sleep a bit just to annoy the requester.
|
|
|
|
await self.clock.sleep(random.randint(1, 10))
|
|
|
|
raise ShadowBanError()
|
|
|
|
|
2020-06-17 10:37:59 -04:00
|
|
|
await self.auth.check_user_in_room(room_id, target_user_id)
|
2014-12-11 13:11:43 -05:00
|
|
|
|
2016-06-02 11:28:54 -04:00
|
|
|
logger.debug("%s has stopped typing in %s", target_user_id, room_id)
|
2014-12-11 13:00:15 -05:00
|
|
|
|
2016-06-02 11:28:54 -04:00
|
|
|
member = RoomMember(room_id=room_id, user_id=target_user_id)
|
2014-08-20 14:15:47 -04:00
|
|
|
|
2017-05-26 05:02:04 -04:00
|
|
|
self._stopped_typing(member)
|
2014-12-10 14:39:01 -05:00
|
|
|
|
2021-01-26 10:50:21 -05:00
|
|
|
def user_left_room(self, user: UserID, room_id: str) -> None:
|
2016-06-02 11:28:54 -04:00
|
|
|
user_id = user.to_string()
|
|
|
|
if self.is_mine_id(user_id):
|
2016-06-03 09:03:42 -04:00
|
|
|
member = RoomMember(room_id=room_id, user_id=user_id)
|
2020-06-17 10:37:59 -04:00
|
|
|
self._stopped_typing(member)
|
2014-12-11 13:33:09 -05:00
|
|
|
|
2021-01-26 10:50:21 -05:00
|
|
|
def _stopped_typing(self, member: RoomMember) -> None:
|
2016-09-23 08:56:14 -04:00
|
|
|
if member.user_id not in self._room_typing.get(member.room_id, set()):
|
2014-08-20 14:15:47 -04:00
|
|
|
# No point
|
2021-01-26 10:50:21 -05:00
|
|
|
return
|
2014-08-20 14:15:47 -04:00
|
|
|
|
2016-09-23 08:56:14 -04:00
|
|
|
self._member_typing_until.pop(member, None)
|
|
|
|
self._member_last_federation_poke.pop(member, None)
|
|
|
|
|
2017-05-26 05:02:04 -04:00
|
|
|
self._push_update(member=member, typing=False)
|
2014-08-20 14:15:47 -04:00
|
|
|
|
2021-01-26 10:50:21 -05:00
|
|
|
def _push_update(self, member: RoomMember, typing: bool) -> None:
|
2016-09-23 08:56:14 -04:00
|
|
|
if self.hs.is_mine_id(member.user_id):
|
|
|
|
# Only send updates for changes to our own users.
|
2020-07-16 10:12:54 -04:00
|
|
|
run_as_background_process(
|
|
|
|
"typing._push_remote", self._push_remote, member, typing
|
2018-04-27 06:07:40 -04:00
|
|
|
)
|
2016-09-23 10:43:34 -04:00
|
|
|
|
2020-07-16 10:12:54 -04:00
|
|
|
self._push_update_local(member=member, typing=typing)
|
2014-08-20 14:15:47 -04:00
|
|
|
|
2021-01-26 10:50:21 -05:00
|
|
|
async def _recv_edu(self, origin: str, content: JsonDict) -> None:
|
2014-08-20 14:15:47 -04:00
|
|
|
room_id = content["room_id"]
|
2016-06-02 11:28:54 -04:00
|
|
|
user_id = content["user_id"]
|
|
|
|
|
2021-07-06 09:31:13 -04:00
|
|
|
# If we're not in the room just ditch the event entirely. This is
|
|
|
|
# probably an old server that has come back and thinks we're still in
|
|
|
|
# the room (or we've been rejoined to the room by a state reset).
|
|
|
|
is_in_room = await self.event_auth_handler.check_host_in_room(
|
|
|
|
room_id, self.server_name
|
|
|
|
)
|
|
|
|
if not is_in_room:
|
|
|
|
logger.info(
|
2021-08-03 09:35:49 -04:00
|
|
|
"Ignoring typing update for room %r from server %s as we're not in the room",
|
|
|
|
room_id,
|
2021-07-06 09:31:13 -04:00
|
|
|
origin,
|
|
|
|
)
|
|
|
|
return
|
|
|
|
|
2016-09-23 08:56:14 -04:00
|
|
|
member = RoomMember(user_id=user_id, room_id=room_id)
|
|
|
|
|
2016-06-02 11:28:54 -04:00
|
|
|
# Check that the string is a valid user id
|
2016-09-08 10:04:46 -04:00
|
|
|
user = UserID.from_string(user_id)
|
|
|
|
|
|
|
|
if user.domain != origin:
|
|
|
|
logger.info(
|
|
|
|
"Got typing update from %r with bad 'user_id': %r", origin, user_id
|
|
|
|
)
|
|
|
|
return
|
2014-08-20 14:15:47 -04:00
|
|
|
|
2020-07-15 10:42:07 -04:00
|
|
|
users = await self.store.get_users_in_room(room_id)
|
2020-02-21 07:15:07 -05:00
|
|
|
domains = {get_domain_from_id(u) for u in users}
|
2014-08-20 14:15:47 -04:00
|
|
|
|
2016-05-16 14:48:07 -04:00
|
|
|
if self.server_name in domains:
|
2016-09-23 08:56:14 -04:00
|
|
|
logger.info("Got typing update from %s: %r", user_id, content)
|
|
|
|
now = self.clock.time_msec()
|
|
|
|
self._member_typing_until[member] = now + FEDERATION_TIMEOUT
|
|
|
|
self.wheel_timer.insert(now=now, obj=member, then=now + FEDERATION_TIMEOUT)
|
2014-12-10 15:48:12 -05:00
|
|
|
self._push_update_local(member=member, typing=content["typing"])
|
2014-08-20 14:15:47 -04:00
|
|
|
|
2021-01-26 10:50:21 -05:00
|
|
|
def _push_update_local(self, member: RoomMember, typing: bool) -> None:
|
2016-09-23 08:56:14 -04:00
|
|
|
room_set = self._room_typing.setdefault(member.room_id, set())
|
2014-12-10 15:48:12 -05:00
|
|
|
if typing:
|
2016-09-23 08:56:14 -04:00
|
|
|
room_set.add(member.user_id)
|
2015-08-26 06:08:23 -04:00
|
|
|
else:
|
2016-09-23 08:56:14 -04:00
|
|
|
room_set.discard(member.user_id)
|
2014-12-10 15:48:12 -05:00
|
|
|
|
|
|
|
self._latest_room_serial += 1
|
2016-09-23 08:56:14 -04:00
|
|
|
self._room_serials[member.room_id] = self._latest_room_serial
|
2018-09-05 05:20:40 -04:00
|
|
|
self._typing_stream_change_cache.entity_has_changed(
|
|
|
|
member.room_id, self._latest_room_serial
|
|
|
|
)
|
2014-12-10 15:48:12 -05:00
|
|
|
|
2016-09-23 08:56:14 -04:00
|
|
|
self.notifier.on_new_event(
|
|
|
|
"typing_key", self._latest_room_serial, rooms=[member.room_id]
|
|
|
|
)
|
2014-08-29 12:39:33 -04:00
|
|
|
|
2020-03-20 10:40:47 -04:00
|
|
|
async def get_all_typing_updates(
|
2020-06-16 12:10:28 -04:00
|
|
|
self, instance_name: str, last_id: int, current_id: int, limit: int
|
|
|
|
) -> Tuple[List[Tuple[int, list]], int, bool]:
|
|
|
|
"""Get updates for typing replication stream.
|
|
|
|
|
|
|
|
Args:
|
|
|
|
instance_name: The writer we want to fetch updates from. Unused
|
|
|
|
here since there is only ever one writer.
|
|
|
|
last_id: The token to fetch updates from. Exclusive.
|
|
|
|
current_id: The token to fetch updates up to. Inclusive.
|
|
|
|
limit: The requested limit for the number of rows to return. The
|
|
|
|
function may return more or fewer rows.
|
|
|
|
|
|
|
|
Returns:
|
|
|
|
A tuple consisting of: the updates, a token to use to fetch
|
|
|
|
subsequent updates, and whether we returned fewer rows than exists
|
|
|
|
between the requested tokens due to the limit.
|
|
|
|
|
|
|
|
The token returned can be used in a subsequent call to this
|
2020-10-23 12:38:40 -04:00
|
|
|
function to get further updates.
|
2020-06-16 12:10:28 -04:00
|
|
|
|
|
|
|
The updates are a list of 2-tuples of stream ID and the row data
|
2020-03-20 10:40:47 -04:00
|
|
|
"""
|
|
|
|
|
2016-06-08 06:33:30 -04:00
|
|
|
if last_id == current_id:
|
2020-06-16 12:10:28 -04:00
|
|
|
return [], current_id, False
|
2016-06-08 06:33:30 -04:00
|
|
|
|
2021-07-16 13:22:36 -04:00
|
|
|
changed_rooms: Optional[
|
|
|
|
Iterable[str]
|
|
|
|
] = self._typing_stream_change_cache.get_all_entities_changed(last_id)
|
2018-09-05 05:20:40 -04:00
|
|
|
|
|
|
|
if changed_rooms is None:
|
|
|
|
changed_rooms = self._room_serials
|
|
|
|
|
2016-03-01 09:49:41 -05:00
|
|
|
rows = []
|
2018-09-05 05:20:40 -04:00
|
|
|
for room_id in changed_rooms:
|
|
|
|
serial = self._room_serials[room_id]
|
|
|
|
if last_id < serial <= current_id:
|
2016-03-01 09:49:41 -05:00
|
|
|
typing = self._room_typing[room_id]
|
2020-06-16 12:10:28 -04:00
|
|
|
rows.append((serial, [room_id, list(typing)]))
|
2016-03-01 09:49:41 -05:00
|
|
|
rows.sort()
|
2020-06-16 12:10:28 -04:00
|
|
|
|
|
|
|
limited = False
|
2020-07-07 07:11:35 -04:00
|
|
|
# We, unusually, use a strict limit here as we have all the rows in
|
|
|
|
# memory rather than pulling them out of the database with a `LIMIT ?`
|
|
|
|
# clause.
|
2020-06-16 12:10:28 -04:00
|
|
|
if len(rows) > limit:
|
|
|
|
rows = rows[:limit]
|
|
|
|
current_id = rows[-1][0]
|
|
|
|
limited = True
|
|
|
|
|
|
|
|
return rows, current_id, limited
|
2016-03-01 09:49:41 -05:00
|
|
|
|
2020-07-16 10:12:54 -04:00
|
|
|
def process_replication_rows(
|
|
|
|
self, token: int, rows: List[TypingStream.TypingStreamRow]
|
2021-01-26 10:50:21 -05:00
|
|
|
) -> None:
|
2020-07-16 10:12:54 -04:00
|
|
|
# The writing process should never get updates from replication.
|
|
|
|
raise Exception("Typing writer instance got typing info over replication")
|
2017-03-27 09:03:38 -04:00
|
|
|
|
2014-08-29 12:39:33 -04:00
|
|
|
|
2021-09-21 13:34:26 -04:00
|
|
|
class TypingNotificationEventSource(EventSource[int, JsonDict]):
|
2021-01-26 10:50:21 -05:00
|
|
|
def __init__(self, hs: "HomeServer"):
|
2022-02-23 06:04:02 -05:00
|
|
|
self._main_store = hs.get_datastores().main
|
2016-02-09 06:31:04 -05:00
|
|
|
self.clock = hs.get_clock()
|
2016-05-17 10:58:46 -04:00
|
|
|
# We can't call get_typing_handler here because there's a cycle:
|
|
|
|
#
|
|
|
|
# Typing -> Notifier -> TypingNotificationEventSource -> Typing
|
|
|
|
#
|
|
|
|
self.get_typing_handler = hs.get_typing_handler
|
2014-12-10 16:01:49 -05:00
|
|
|
|
2021-01-26 10:50:21 -05:00
|
|
|
def _make_event_for(self, room_id: str) -> JsonDict:
|
2016-05-17 10:58:46 -04:00
|
|
|
typing = self.get_typing_handler()._room_typing[room_id]
|
2014-12-10 16:01:49 -05:00
|
|
|
return {
|
|
|
|
"type": "m.typing",
|
|
|
|
"room_id": room_id,
|
2016-06-02 11:28:54 -04:00
|
|
|
"content": {"user_ids": list(typing)},
|
2014-12-10 16:01:49 -05:00
|
|
|
}
|
2014-08-29 12:39:33 -04:00
|
|
|
|
2020-10-15 12:33:28 -04:00
|
|
|
async def get_new_events_as(
|
|
|
|
self, from_key: int, service: ApplicationService
|
|
|
|
) -> Tuple[List[JsonDict], int]:
|
|
|
|
"""Returns a set of new typing events that an appservice
|
|
|
|
may be interested in.
|
|
|
|
|
|
|
|
Args:
|
2021-10-21 12:42:25 -04:00
|
|
|
from_key: the stream position at which events should be fetched from.
|
|
|
|
service: The appservice which may be interested.
|
|
|
|
|
|
|
|
Returns:
|
|
|
|
A two-tuple containing the following:
|
|
|
|
* A list of json dictionaries derived from typing events that the
|
|
|
|
appservice may be interested in.
|
|
|
|
* The latest known room serial.
|
2020-10-15 12:33:28 -04:00
|
|
|
"""
|
|
|
|
with Measure(self.clock, "typing.get_new_events_as"):
|
|
|
|
handler = self.get_typing_handler()
|
|
|
|
|
|
|
|
events = []
|
|
|
|
for room_id in handler._room_serials.keys():
|
|
|
|
if handler._room_serials[room_id] <= from_key:
|
|
|
|
continue
|
2021-10-21 12:42:25 -04:00
|
|
|
|
2020-10-15 12:33:28 -04:00
|
|
|
if not await service.matches_user_in_member_list(
|
2022-02-07 08:25:09 -05:00
|
|
|
room_id, self._main_store
|
2020-10-15 12:33:28 -04:00
|
|
|
):
|
|
|
|
continue
|
|
|
|
|
|
|
|
events.append(self._make_event_for(room_id))
|
|
|
|
|
2021-09-23 06:59:07 -04:00
|
|
|
return events, handler._latest_room_serial
|
2020-10-15 12:33:28 -04:00
|
|
|
|
2021-01-26 10:50:21 -05:00
|
|
|
async def get_new_events(
|
2021-09-21 13:34:26 -04:00
|
|
|
self,
|
|
|
|
user: UserID,
|
|
|
|
from_key: int,
|
|
|
|
limit: Optional[int],
|
|
|
|
room_ids: Iterable[str],
|
|
|
|
is_guest: bool,
|
|
|
|
explicit_room_id: Optional[str] = None,
|
2021-01-26 10:50:21 -05:00
|
|
|
) -> Tuple[List[JsonDict], int]:
|
2016-02-09 06:31:04 -05:00
|
|
|
with Measure(self.clock, "typing.get_new_events"):
|
|
|
|
from_key = int(from_key)
|
2016-05-17 10:58:46 -04:00
|
|
|
handler = self.get_typing_handler()
|
2014-12-10 16:01:49 -05:00
|
|
|
|
2016-02-09 06:31:04 -05:00
|
|
|
events = []
|
|
|
|
for room_id in room_ids:
|
|
|
|
if room_id not in handler._room_serials:
|
|
|
|
continue
|
|
|
|
if handler._room_serials[room_id] <= from_key:
|
|
|
|
continue
|
2014-12-10 16:01:49 -05:00
|
|
|
|
2016-02-09 06:31:04 -05:00
|
|
|
events.append(self._make_event_for(room_id))
|
2014-12-10 16:01:49 -05:00
|
|
|
|
2021-09-23 06:59:07 -04:00
|
|
|
return events, handler._latest_room_serial
|
2014-08-29 12:39:33 -04:00
|
|
|
|
2021-01-26 10:50:21 -05:00
|
|
|
def get_current_key(self) -> int:
|
2016-05-17 10:58:46 -04:00
|
|
|
return self.get_typing_handler()._latest_room_serial
|