2016-01-06 23:26:29 -05:00
|
|
|
# Copyright 2015, 2016 OpenMarket Ltd
|
2015-07-01 12:19:31 -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
|
2021-01-04 10:05:12 -05:00
|
|
|
from typing import TYPE_CHECKING, List, Optional, Tuple
|
2015-07-01 12:19:31 -04:00
|
|
|
|
2020-10-15 12:33:28 -04:00
|
|
|
from synapse.appservice import ApplicationService
|
2019-03-13 11:55:37 -04:00
|
|
|
from synapse.handlers._base import BaseHandler
|
2020-10-15 12:33:28 -04:00
|
|
|
from synapse.types import JsonDict, ReadReceipt, get_domain_from_id
|
2015-07-01 12:19:31 -04:00
|
|
|
|
2021-01-04 10:05:12 -05:00
|
|
|
if TYPE_CHECKING:
|
2021-03-23 07:12:48 -04:00
|
|
|
from synapse.server import HomeServer
|
2021-01-04 10:05:12 -05:00
|
|
|
|
2015-07-01 12:19:31 -04:00
|
|
|
logger = logging.getLogger(__name__)
|
|
|
|
|
|
|
|
|
|
|
|
class ReceiptsHandler(BaseHandler):
|
2021-01-04 10:05:12 -05:00
|
|
|
def __init__(self, hs: "HomeServer"):
|
2020-09-18 09:56:44 -04:00
|
|
|
super().__init__(hs)
|
2015-07-01 12:19:31 -04:00
|
|
|
|
2016-05-16 14:48:07 -04:00
|
|
|
self.server_name = hs.config.server_name
|
|
|
|
self.store = hs.get_datastore()
|
2015-07-07 05:55:31 -04:00
|
|
|
self.hs = hs
|
2021-01-18 10:47:59 -05:00
|
|
|
|
|
|
|
# We only need to poke the federation sender explicitly if its on the
|
|
|
|
# same instance. Other federation sender instances will get notified by
|
|
|
|
# `synapse.app.generic_worker.FederationSenderHandler` when it sees it
|
|
|
|
# in the receipts stream.
|
|
|
|
self.federation_sender = None
|
|
|
|
if hs.should_send_federation():
|
|
|
|
self.federation_sender = hs.get_federation_sender()
|
|
|
|
|
|
|
|
# If we can handle the receipt EDUs we do so, otherwise we route them
|
|
|
|
# to the appropriate worker.
|
|
|
|
if hs.get_instance_name() in hs.config.worker.writers.receipts:
|
|
|
|
hs.get_federation_registry().register_edu_handler(
|
|
|
|
"m.receipt", self._received_remote_receipt
|
|
|
|
)
|
|
|
|
else:
|
|
|
|
hs.get_federation_registry().register_instances_for_edu(
|
2021-02-16 17:32:34 -05:00
|
|
|
"m.receipt",
|
|
|
|
hs.config.worker.writers.receipts,
|
2021-01-18 10:47:59 -05:00
|
|
|
)
|
|
|
|
|
2015-07-09 06:39:30 -04:00
|
|
|
self.clock = self.hs.get_clock()
|
2016-08-26 09:54:30 -04:00
|
|
|
self.state = hs.get_state_handler()
|
2015-07-01 12:19:31 -04:00
|
|
|
|
2021-01-04 10:05:12 -05:00
|
|
|
async def _received_remote_receipt(self, origin: str, content: JsonDict) -> None:
|
2021-02-16 17:32:34 -05:00
|
|
|
"""Called when we receive an EDU of type m.receipt from a remote HS."""
|
2019-07-23 08:31:03 -04:00
|
|
|
receipts = []
|
|
|
|
for room_id, room_values in content.items():
|
|
|
|
for receipt_type, users in room_values.items():
|
|
|
|
for user_id, user_values in users.items():
|
|
|
|
if get_domain_from_id(user_id) != origin:
|
|
|
|
logger.info(
|
|
|
|
"Received receipt for user %r from server %s, ignoring",
|
|
|
|
user_id,
|
|
|
|
origin,
|
|
|
|
)
|
|
|
|
continue
|
|
|
|
|
|
|
|
receipts.append(
|
|
|
|
ReadReceipt(
|
|
|
|
room_id=room_id,
|
|
|
|
receipt_type=receipt_type,
|
|
|
|
user_id=user_id,
|
|
|
|
event_ids=user_values["event_ids"],
|
|
|
|
data=user_values.get("data", {}),
|
|
|
|
)
|
|
|
|
)
|
2015-07-01 12:19:31 -04:00
|
|
|
|
2019-10-29 11:08:22 -04:00
|
|
|
await self._handle_new_receipts(receipts)
|
2015-07-01 12:19:31 -04:00
|
|
|
|
2021-01-04 10:05:12 -05:00
|
|
|
async def _handle_new_receipts(self, receipts: List[ReadReceipt]) -> bool:
|
2021-02-16 17:32:34 -05:00
|
|
|
"""Takes a list of receipts, stores them and informs the notifier."""
|
2021-01-04 10:05:12 -05:00
|
|
|
min_batch_id = None # type: Optional[int]
|
|
|
|
max_batch_id = None # type: Optional[int]
|
2016-04-07 10:39:53 -04:00
|
|
|
|
2015-07-01 12:19:31 -04:00
|
|
|
for receipt in receipts:
|
2019-10-29 11:08:22 -04:00
|
|
|
res = await self.store.insert_receipt(
|
2019-03-12 12:50:58 -04:00
|
|
|
receipt.room_id,
|
|
|
|
receipt.receipt_type,
|
|
|
|
receipt.user_id,
|
|
|
|
receipt.event_ids,
|
|
|
|
receipt.data,
|
2015-07-01 12:19:31 -04:00
|
|
|
)
|
|
|
|
|
2015-07-07 10:25:30 -04:00
|
|
|
if not res:
|
|
|
|
# res will be None if this read receipt is 'old'
|
2016-12-08 07:13:01 -05:00
|
|
|
continue
|
2015-07-01 12:19:31 -04:00
|
|
|
|
2015-07-07 10:25:30 -04:00
|
|
|
stream_id, max_persisted_id = res
|
2015-07-01 12:19:31 -04:00
|
|
|
|
2016-04-07 10:39:53 -04:00
|
|
|
if min_batch_id is None or stream_id < min_batch_id:
|
|
|
|
min_batch_id = stream_id
|
|
|
|
if max_batch_id is None or max_persisted_id > max_batch_id:
|
|
|
|
max_batch_id = max_persisted_id
|
|
|
|
|
2021-01-04 10:05:12 -05:00
|
|
|
# Either both of these should be None or neither.
|
|
|
|
if min_batch_id is None or max_batch_id is None:
|
2016-12-08 07:13:01 -05:00
|
|
|
# no new receipts
|
2019-07-23 09:00:55 -04:00
|
|
|
return False
|
2016-12-08 07:13:01 -05:00
|
|
|
|
2020-02-21 07:15:07 -05:00
|
|
|
affected_room_ids = list({r.room_id for r in receipts})
|
2016-04-07 10:39:53 -04:00
|
|
|
|
2019-06-20 05:32:02 -04:00
|
|
|
self.notifier.on_new_event("receipt_key", max_batch_id, rooms=affected_room_ids)
|
2018-08-16 19:32:39 -04:00
|
|
|
# Note that the min here shouldn't be relied upon to be accurate.
|
2020-12-11 14:05:15 -05:00
|
|
|
await self.hs.get_pusherpool().on_new_receipts(
|
|
|
|
min_batch_id, max_batch_id, affected_room_ids
|
2018-08-16 19:32:39 -04:00
|
|
|
)
|
2015-07-01 12:19:31 -04:00
|
|
|
|
2019-07-23 09:00:55 -04:00
|
|
|
return True
|
2015-07-01 12:19:31 -04:00
|
|
|
|
2021-01-04 10:05:12 -05:00
|
|
|
async def received_client_receipt(
|
|
|
|
self, room_id: str, receipt_type: str, user_id: str, event_id: str
|
|
|
|
) -> None:
|
2019-03-04 13:11:26 -05:00
|
|
|
"""Called when a client tells us a local user has read up to the given
|
|
|
|
event_id in the room.
|
2015-07-13 08:30:43 -04:00
|
|
|
"""
|
2019-03-12 12:50:58 -04:00
|
|
|
receipt = ReadReceipt(
|
|
|
|
room_id=room_id,
|
|
|
|
receipt_type=receipt_type,
|
|
|
|
user_id=user_id,
|
|
|
|
event_ids=[event_id],
|
2019-06-20 05:32:02 -04:00
|
|
|
data={"ts": int(self.clock.time_msec())},
|
2019-03-12 12:50:58 -04:00
|
|
|
)
|
2019-02-21 12:50:30 -05:00
|
|
|
|
2019-10-29 11:08:22 -04:00
|
|
|
is_new = await self._handle_new_receipts([receipt])
|
2019-03-04 13:11:26 -05:00
|
|
|
if not is_new:
|
|
|
|
return
|
|
|
|
|
2021-01-18 10:47:59 -05:00
|
|
|
if self.federation_sender:
|
|
|
|
await self.federation_sender.send_read_receipt(receipt)
|
2015-07-08 05:54:01 -04:00
|
|
|
|
2015-07-07 10:25:30 -04:00
|
|
|
|
2020-09-04 06:54:56 -04:00
|
|
|
class ReceiptEventSource:
|
2021-01-04 10:05:12 -05:00
|
|
|
def __init__(self, hs: "HomeServer"):
|
2015-07-07 10:25:30 -04:00
|
|
|
self.store = hs.get_datastore()
|
|
|
|
|
2021-01-04 10:05:12 -05:00
|
|
|
async def get_new_events(
|
|
|
|
self, from_key: int, room_ids: List[str], **kwargs
|
|
|
|
) -> Tuple[List[JsonDict], int]:
|
2015-07-07 10:25:30 -04:00
|
|
|
from_key = int(from_key)
|
2020-07-17 07:08:30 -04:00
|
|
|
to_key = self.get_current_key()
|
2015-07-07 10:25:30 -04:00
|
|
|
|
2015-07-18 14:07:12 -04:00
|
|
|
if from_key == to_key:
|
2019-08-30 11:28:26 -04:00
|
|
|
return [], to_key
|
2015-07-18 14:07:12 -04:00
|
|
|
|
2020-07-17 07:08:30 -04:00
|
|
|
events = await self.store.get_linearized_receipts_for_rooms(
|
2019-06-20 05:32:02 -04:00
|
|
|
room_ids, from_key=from_key, to_key=to_key
|
2015-07-08 10:35:00 -04:00
|
|
|
)
|
2015-07-07 10:25:30 -04:00
|
|
|
|
2019-07-23 09:00:55 -04:00
|
|
|
return (events, to_key)
|
2015-07-07 10:25:30 -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 receipt events that an appservice
|
|
|
|
may be interested in.
|
|
|
|
|
|
|
|
Args:
|
|
|
|
from_key: the stream position at which events should be fetched from
|
|
|
|
service: The appservice which may be interested
|
|
|
|
"""
|
|
|
|
from_key = int(from_key)
|
|
|
|
to_key = self.get_current_key()
|
|
|
|
|
|
|
|
if from_key == to_key:
|
|
|
|
return [], to_key
|
|
|
|
|
2020-11-18 13:54:09 -05:00
|
|
|
# Fetch all read receipts for all rooms, up to a limit of 100. This is ordered
|
|
|
|
# by most recent.
|
2020-10-15 12:33:28 -04:00
|
|
|
rooms_to_events = await self.store.get_linearized_receipts_for_all_rooms(
|
|
|
|
from_key=from_key, to_key=to_key
|
|
|
|
)
|
|
|
|
|
|
|
|
# Then filter down to rooms that the AS can read
|
|
|
|
events = []
|
|
|
|
for room_id, event in rooms_to_events.items():
|
|
|
|
if not await service.matches_user_in_member_list(room_id, self.store):
|
|
|
|
continue
|
|
|
|
|
|
|
|
events.append(event)
|
|
|
|
|
|
|
|
return (events, to_key)
|
|
|
|
|
2021-01-04 10:05:12 -05:00
|
|
|
def get_current_key(self, direction: str = "f") -> int:
|
2015-07-07 10:25:30 -04:00
|
|
|
return self.store.get_max_receipt_stream_id()
|