2014-08-20 20:15:47 +02:00
|
|
|
# -*- coding: utf-8 -*-
|
2015-01-06 14:21:39 +01:00
|
|
|
# Copyright 2014, 2015 OpenMarket Ltd
|
2014-08-20 20:15:47 +02: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.
|
|
|
|
|
|
|
|
from twisted.internet import defer
|
|
|
|
|
|
|
|
from ._base import BaseHandler
|
|
|
|
|
2014-08-28 14:51:50 +02:00
|
|
|
from synapse.api.errors import SynapseError, AuthError
|
|
|
|
|
2014-08-20 20:15:47 +02:00
|
|
|
import logging
|
|
|
|
|
|
|
|
from collections import namedtuple
|
|
|
|
|
|
|
|
logger = logging.getLogger(__name__)
|
|
|
|
|
|
|
|
|
|
|
|
# A tiny object useful for storing a user's membership in a room, as a mapping
|
|
|
|
# key
|
|
|
|
RoomMember = namedtuple("RoomMember", ("room_id", "user"))
|
|
|
|
|
|
|
|
|
|
|
|
class TypingNotificationHandler(BaseHandler):
|
|
|
|
def __init__(self, hs):
|
|
|
|
super(TypingNotificationHandler, self).__init__(hs)
|
|
|
|
|
|
|
|
self.homeserver = hs
|
|
|
|
|
|
|
|
self.clock = hs.get_clock()
|
|
|
|
|
|
|
|
self.federation = hs.get_replication_layer()
|
|
|
|
|
|
|
|
self.federation.register_edu_handler("m.typing", self._recv_edu)
|
|
|
|
|
2014-12-11 19:33:09 +01:00
|
|
|
hs.get_distributor().observe("user_left_room", self.user_left_room)
|
|
|
|
|
2014-12-16 16:24:03 +01:00
|
|
|
self._member_typing_until = {} # clock time we expect to stop
|
|
|
|
self._member_typing_timer = {} # deferreds to manage theabove
|
2014-08-20 20:15:47 +02:00
|
|
|
|
2014-12-10 21:48:12 +01:00
|
|
|
# map room IDs to serial numbers
|
|
|
|
self._room_serials = {}
|
|
|
|
self._latest_room_serial = 0
|
|
|
|
# map room IDs to sets of users currently typing
|
|
|
|
self._room_typing = {}
|
|
|
|
|
2014-12-11 17:03:04 +01:00
|
|
|
def tearDown(self):
|
|
|
|
"""Cancels all the pending timers.
|
|
|
|
Normally this shouldn't be needed, but it's required from unit tests
|
|
|
|
to avoid a "Reactor was unclean" warning."""
|
|
|
|
for t in self._member_typing_timer.values():
|
|
|
|
self.clock.cancel_call_later(t)
|
2014-08-20 20:15:47 +02:00
|
|
|
|
|
|
|
@defer.inlineCallbacks
|
|
|
|
def started_typing(self, target_user, auth_user, room_id, timeout):
|
2014-12-02 11:42:28 +01:00
|
|
|
if not self.hs.is_mine(target_user):
|
2014-08-20 20:15:47 +02:00
|
|
|
raise SynapseError(400, "User is not hosted on this Home Server")
|
|
|
|
|
|
|
|
if target_user != auth_user:
|
|
|
|
raise AuthError(400, "Cannot set another user's typing state")
|
|
|
|
|
2014-12-11 19:11:43 +01:00
|
|
|
yield self.auth.check_joined_room(room_id, target_user.to_string())
|
|
|
|
|
2014-12-11 19:00:15 +01:00
|
|
|
logger.debug(
|
|
|
|
"%s has started typing in %s", target_user.to_string(), room_id
|
|
|
|
)
|
|
|
|
|
2014-08-20 20:15:47 +02:00
|
|
|
until = self.clock.time_msec() + timeout
|
|
|
|
member = RoomMember(room_id=room_id, user=target_user)
|
|
|
|
|
|
|
|
was_present = member in self._member_typing_until
|
|
|
|
|
2014-12-10 20:39:01 +01:00
|
|
|
if member in self._member_typing_timer:
|
|
|
|
self.clock.cancel_call_later(self._member_typing_timer[member])
|
|
|
|
|
2015-01-12 19:22:00 +01:00
|
|
|
def _cb():
|
|
|
|
logger.debug(
|
|
|
|
"%s has timed out in %s", target_user.to_string(), room_id
|
|
|
|
)
|
|
|
|
self._stopped_typing(member)
|
|
|
|
|
2014-08-20 20:15:47 +02:00
|
|
|
self._member_typing_until[member] = until
|
2014-12-10 20:39:01 +01:00
|
|
|
self._member_typing_timer[member] = self.clock.call_later(
|
2015-01-12 20:09:14 +01:00
|
|
|
timeout / 1000.0, _cb
|
2014-12-10 20:39:01 +01:00
|
|
|
)
|
2014-08-20 20:15:47 +02:00
|
|
|
|
|
|
|
if was_present:
|
|
|
|
# No point sending another notification
|
|
|
|
defer.returnValue(None)
|
|
|
|
|
|
|
|
yield self._push_update(
|
|
|
|
room_id=room_id,
|
|
|
|
user=target_user,
|
|
|
|
typing=True,
|
|
|
|
)
|
|
|
|
|
|
|
|
@defer.inlineCallbacks
|
|
|
|
def stopped_typing(self, target_user, auth_user, room_id):
|
2014-12-02 11:42:28 +01:00
|
|
|
if not self.hs.is_mine(target_user):
|
2014-08-20 20:15:47 +02:00
|
|
|
raise SynapseError(400, "User is not hosted on this Home Server")
|
|
|
|
|
|
|
|
if target_user != auth_user:
|
|
|
|
raise AuthError(400, "Cannot set another user's typing state")
|
|
|
|
|
2014-12-11 19:11:43 +01:00
|
|
|
yield self.auth.check_joined_room(room_id, target_user.to_string())
|
|
|
|
|
2014-12-11 19:00:15 +01:00
|
|
|
logger.debug(
|
|
|
|
"%s has stopped typing in %s", target_user.to_string(), room_id
|
|
|
|
)
|
|
|
|
|
2014-08-20 20:15:47 +02:00
|
|
|
member = RoomMember(room_id=room_id, user=target_user)
|
|
|
|
|
2015-01-13 17:57:28 +01:00
|
|
|
if member in self._member_typing_timer:
|
|
|
|
self.clock.cancel_call_later(self._member_typing_timer[member])
|
|
|
|
del self._member_typing_timer[member]
|
|
|
|
|
2014-12-10 20:39:01 +01:00
|
|
|
yield self._stopped_typing(member)
|
|
|
|
|
2014-12-11 19:33:09 +01:00
|
|
|
@defer.inlineCallbacks
|
|
|
|
def user_left_room(self, user, room_id):
|
2014-12-15 18:17:51 +01:00
|
|
|
if self.hs.is_mine(user):
|
2014-12-11 19:33:09 +01:00
|
|
|
member = RoomMember(room_id=room_id, user=user)
|
|
|
|
yield self._stopped_typing(member)
|
|
|
|
|
2014-12-10 20:39:01 +01:00
|
|
|
@defer.inlineCallbacks
|
|
|
|
def _stopped_typing(self, member):
|
2014-08-20 20:15:47 +02:00
|
|
|
if member not in self._member_typing_until:
|
|
|
|
# No point
|
|
|
|
defer.returnValue(None)
|
|
|
|
|
|
|
|
yield self._push_update(
|
2014-12-10 20:39:01 +01:00
|
|
|
room_id=member.room_id,
|
|
|
|
user=member.user,
|
2014-08-20 20:15:47 +02:00
|
|
|
typing=False,
|
|
|
|
)
|
|
|
|
|
2014-12-10 20:39:01 +01:00
|
|
|
del self._member_typing_until[member]
|
|
|
|
|
2015-01-13 17:57:28 +01:00
|
|
|
if member in self._member_typing_timer:
|
|
|
|
# Don't cancel it - either it already expired, or the real
|
|
|
|
# stopped_typing() will cancel it
|
|
|
|
del self._member_typing_timer[member]
|
2014-12-10 20:39:01 +01:00
|
|
|
|
2014-08-20 20:15:47 +02:00
|
|
|
@defer.inlineCallbacks
|
|
|
|
def _push_update(self, room_id, user, typing):
|
|
|
|
localusers = set()
|
|
|
|
remotedomains = set()
|
|
|
|
|
|
|
|
rm_handler = self.homeserver.get_handlers().room_member_handler
|
2014-10-30 12:10:17 +01:00
|
|
|
yield rm_handler.fetch_room_distributions_into(
|
2014-12-15 15:37:12 +01:00
|
|
|
room_id, localusers=localusers, remotedomains=remotedomains
|
2014-10-30 12:10:17 +01:00
|
|
|
)
|
2014-08-20 20:15:47 +02:00
|
|
|
|
2014-12-10 21:48:12 +01:00
|
|
|
if localusers:
|
|
|
|
self._push_update_local(
|
2014-08-20 20:15:47 +02:00
|
|
|
room_id=room_id,
|
2014-12-10 21:48:12 +01:00
|
|
|
user=user,
|
|
|
|
typing=typing
|
2014-08-20 20:15:47 +02:00
|
|
|
)
|
|
|
|
|
|
|
|
deferreds = []
|
|
|
|
for domain in remotedomains:
|
|
|
|
deferreds.append(self.federation.send_edu(
|
|
|
|
destination=domain,
|
|
|
|
edu_type="m.typing",
|
|
|
|
content={
|
|
|
|
"room_id": room_id,
|
|
|
|
"user_id": user.to_string(),
|
|
|
|
"typing": typing,
|
|
|
|
},
|
|
|
|
))
|
|
|
|
|
|
|
|
yield defer.DeferredList(deferreds, consumeErrors=False)
|
|
|
|
|
|
|
|
@defer.inlineCallbacks
|
|
|
|
def _recv_edu(self, origin, content):
|
|
|
|
room_id = content["room_id"]
|
|
|
|
user = self.homeserver.parse_userid(content["user_id"])
|
|
|
|
|
|
|
|
localusers = set()
|
|
|
|
|
|
|
|
rm_handler = self.homeserver.get_handlers().room_member_handler
|
2014-10-30 12:10:17 +01:00
|
|
|
yield rm_handler.fetch_room_distributions_into(
|
|
|
|
room_id, localusers=localusers
|
|
|
|
)
|
2014-08-20 20:15:47 +02:00
|
|
|
|
2014-12-10 21:48:12 +01:00
|
|
|
if localusers:
|
|
|
|
self._push_update_local(
|
2014-08-20 20:15:47 +02:00
|
|
|
room_id=room_id,
|
2014-12-10 21:48:12 +01:00
|
|
|
user=user,
|
2014-08-20 20:15:47 +02:00
|
|
|
typing=content["typing"]
|
|
|
|
)
|
|
|
|
|
2014-12-10 21:48:12 +01:00
|
|
|
def _push_update_local(self, room_id, user, typing):
|
|
|
|
if room_id not in self._room_serials:
|
|
|
|
self._room_serials[room_id] = 0
|
|
|
|
self._room_typing[room_id] = set()
|
|
|
|
|
|
|
|
room_set = self._room_typing[room_id]
|
|
|
|
if typing:
|
|
|
|
room_set.add(user)
|
|
|
|
elif user in room_set:
|
|
|
|
room_set.remove(user)
|
|
|
|
|
|
|
|
self._latest_room_serial += 1
|
|
|
|
self._room_serials[room_id] = self._latest_room_serial
|
|
|
|
|
|
|
|
self.notifier.on_new_user_event(rooms=[room_id])
|
2014-08-29 18:39:33 +02:00
|
|
|
|
|
|
|
|
|
|
|
class TypingNotificationEventSource(object):
|
|
|
|
def __init__(self, hs):
|
|
|
|
self.hs = hs
|
2014-12-10 22:17:48 +01:00
|
|
|
self._handler = None
|
|
|
|
|
|
|
|
def handler(self):
|
|
|
|
# Avoid cyclic dependency in handler setup
|
|
|
|
if not self._handler:
|
|
|
|
self._handler = self.hs.get_handlers().typing_notification_handler
|
|
|
|
return self._handler
|
2014-12-10 22:01:49 +01:00
|
|
|
|
|
|
|
def _make_event_for(self, room_id):
|
2014-12-10 22:17:48 +01:00
|
|
|
typing = self.handler()._room_typing[room_id]
|
2014-12-10 22:01:49 +01:00
|
|
|
return {
|
|
|
|
"type": "m.typing",
|
|
|
|
"room_id": room_id,
|
2014-12-12 12:59:46 +01:00
|
|
|
"content": {
|
|
|
|
"user_ids": [u.to_string() for u in typing],
|
|
|
|
},
|
2014-12-10 22:01:49 +01:00
|
|
|
}
|
2014-08-29 18:39:33 +02:00
|
|
|
|
2014-08-29 20:13:55 +02:00
|
|
|
def get_new_events_for_user(self, user, from_key, limit):
|
2014-12-10 22:01:49 +01:00
|
|
|
from_key = int(from_key)
|
2014-12-10 22:17:48 +01:00
|
|
|
handler = self.handler()
|
2014-12-10 22:01:49 +01:00
|
|
|
|
|
|
|
events = []
|
|
|
|
for room_id in handler._room_serials:
|
|
|
|
if handler._room_serials[room_id] <= from_key:
|
|
|
|
continue
|
|
|
|
|
|
|
|
# TODO: check if user is in room
|
|
|
|
events.append(self._make_event_for(room_id))
|
|
|
|
|
|
|
|
return (events, handler._latest_room_serial)
|
2014-08-29 18:39:33 +02:00
|
|
|
|
2014-08-29 20:15:23 +02:00
|
|
|
def get_current_key(self):
|
2014-12-10 22:17:48 +01:00
|
|
|
return self.handler()._latest_room_serial
|
2014-08-29 18:39:33 +02:00
|
|
|
|
|
|
|
def get_pagination_rows(self, user, pagination_config, key):
|
2014-10-29 16:57:23 +01:00
|
|
|
return ([], pagination_config.from_key)
|