synapse-old/synapse/handlers/read_marker.py

66 lines
2.3 KiB
Python
Raw Normal View History

# -*- coding: utf-8 -*-
2017-04-11 10:33:51 -06:00
# Copyright 2017 Vector Creations Ltd
#
# 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 00:09:20 -06:00
import logging
from typing import TYPE_CHECKING
from synapse.util.async_helpers import Linearizer
2018-07-09 00:09:20 -06:00
from ._base import BaseHandler
if TYPE_CHECKING:
from synapse.app.homeserver import HomeServer
logger = logging.getLogger(__name__)
2017-04-11 10:07:07 -06:00
class ReadMarkerHandler(BaseHandler):
def __init__(self, hs: "HomeServer"):
super().__init__(hs)
self.server_name = hs.config.server_name
self.store = hs.get_datastore()
self.read_marker_linearizer = Linearizer(name="read_marker")
self.notifier = hs.get_notifier()
async def received_client_read_marker(
self, room_id: str, user_id: str, event_id: str
) -> None:
"""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.
This uses a notifier to indicate that account data should be sent down /sync if
the read marker has changed.
"""
with await self.read_marker_linearizer.queue((room_id, user_id)):
existing_read_marker = await self.store.get_account_data_for_room_and_type(
2019-06-20 03:32:02 -06:00
user_id, room_id, "m.fully_read"
)
should_update = True
if existing_read_marker:
2017-04-12 07:36:20 -06:00
# Only update if the new marker is ahead in the stream
should_update = await self.store.is_event_after(
2019-06-20 03:32:02 -06:00
event_id, existing_read_marker["event_id"]
)
if should_update:
2019-06-20 03:32:02 -06:00
content = {"event_id": event_id}
max_id = await self.store.add_account_data_to_room(
user_id, room_id, "m.fully_read", content
)
2017-04-12 03:50:37 -06:00
self.notifier.on_new_event("account_data_key", max_id, users=[user_id])