2017-04-11 06:55:30 -04:00
|
|
|
# -*- coding: utf-8 -*-
|
2017-04-11 12:33:51 -04:00
|
|
|
# Copyright 2017 Vector Creations Ltd
|
2017-04-11 06:55:30 -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-10-09 07:20:51 -04:00
|
|
|
from typing import TYPE_CHECKING
|
2017-04-11 06:55:30 -04:00
|
|
|
|
2018-08-10 09:50:21 -04:00
|
|
|
from synapse.util.async_helpers import Linearizer
|
2017-04-11 06:55:30 -04:00
|
|
|
|
2018-07-09 02:09:20 -04:00
|
|
|
from ._base import BaseHandler
|
|
|
|
|
2020-10-09 07:20:51 -04:00
|
|
|
if TYPE_CHECKING:
|
|
|
|
from synapse.app.homeserver import HomeServer
|
|
|
|
|
2017-04-11 06:55:30 -04:00
|
|
|
logger = logging.getLogger(__name__)
|
|
|
|
|
2017-04-11 12:07:07 -04:00
|
|
|
|
2017-04-11 06:55:30 -04:00
|
|
|
class ReadMarkerHandler(BaseHandler):
|
2020-10-09 07:20:51 -04:00
|
|
|
def __init__(self, hs: "HomeServer"):
|
2020-09-18 09:56:44 -04:00
|
|
|
super().__init__(hs)
|
2017-04-11 06:55:30 -04:00
|
|
|
self.server_name = hs.config.server_name
|
|
|
|
self.store = hs.get_datastore()
|
2021-01-18 10:47:59 -05:00
|
|
|
self.account_data_handler = hs.get_account_data_handler()
|
2017-04-11 10:01:39 -04:00
|
|
|
self.read_marker_linearizer = Linearizer(name="read_marker")
|
2017-04-11 06:55:30 -04:00
|
|
|
|
2020-10-09 07:20:51 -04:00
|
|
|
async def received_client_read_marker(
|
|
|
|
self, room_id: str, user_id: str, event_id: str
|
|
|
|
) -> None:
|
2017-04-11 10:01:39 -04:00
|
|
|
"""Updates the read marker for a given user in a given room if the event ID given
|
|
|
|
is ahead in the stream relative to the current read marker.
|
2017-04-11 06:55:30 -04:00
|
|
|
|
2017-04-11 10:01:39 -04:00
|
|
|
This uses a notifier to indicate that account data should be sent down /sync if
|
|
|
|
the read marker has changed.
|
|
|
|
"""
|
2017-04-11 06:55:30 -04:00
|
|
|
|
2019-10-29 11:08:22 -04:00
|
|
|
with await self.read_marker_linearizer.queue((room_id, user_id)):
|
|
|
|
existing_read_marker = await self.store.get_account_data_for_room_and_type(
|
2018-03-01 10:53:04 -05:00
|
|
|
user_id, room_id, "m.fully_read"
|
|
|
|
)
|
2017-04-11 06:55:30 -04:00
|
|
|
|
2017-04-11 10:01:39 -04:00
|
|
|
should_update = True
|
2017-04-11 06:55:30 -04:00
|
|
|
|
2017-04-11 10:01:39 -04:00
|
|
|
if existing_read_marker:
|
2017-04-12 09:36:20 -04:00
|
|
|
# Only update if the new marker is ahead in the stream
|
2019-10-29 11:08:22 -04:00
|
|
|
should_update = await self.store.is_event_after(
|
2017-04-18 12:46:15 -04:00
|
|
|
event_id, existing_read_marker["event_id"]
|
2017-04-11 10:01:39 -04:00
|
|
|
)
|
|
|
|
|
|
|
|
if should_update:
|
2017-04-18 12:46:15 -04:00
|
|
|
content = {"event_id": event_id}
|
2021-01-18 10:47:59 -05:00
|
|
|
await self.account_data_handler.add_account_data_to_room(
|
2017-04-18 12:46:15 -04:00
|
|
|
user_id, room_id, "m.fully_read", content
|
2017-04-11 10:01:39 -04:00
|
|
|
)
|