2016-01-06 23:26:29 -05:00
|
|
|
# Copyright 2015, 2016 OpenMarket Ltd
|
2014-11-19 13:20:59 -05: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-04-27 06:29:27 -04:00
|
|
|
import logging
|
2020-12-16 11:25:30 -05:00
|
|
|
from typing import TYPE_CHECKING, Dict, Iterable, Optional
|
2020-07-16 09:06:28 -04:00
|
|
|
|
|
|
|
from prometheus_client import Gauge
|
2018-04-27 06:29:27 -04:00
|
|
|
|
2021-02-25 10:35:14 -05:00
|
|
|
from synapse.api.errors import Codes, SynapseError
|
2020-10-26 05:30:19 -04:00
|
|
|
from synapse.metrics.background_process_metrics import (
|
|
|
|
run_as_background_process,
|
|
|
|
wrap_as_background_process,
|
|
|
|
)
|
2020-12-16 11:25:30 -05:00
|
|
|
from synapse.push import Pusher, PusherConfig, PusherConfigException
|
2018-04-27 06:29:27 -04:00
|
|
|
from synapse.push.pusher import PusherFactory
|
2021-02-22 16:14:42 -05:00
|
|
|
from synapse.replication.http.push import ReplicationRemovePusherRestServlet
|
2020-12-16 11:25:30 -05:00
|
|
|
from synapse.types import JsonDict, RoomStreamToken
|
2019-04-02 11:45:33 -04:00
|
|
|
from synapse.util.async_helpers import concurrently_execute
|
2014-11-19 13:20:59 -05:00
|
|
|
|
2020-07-16 09:06:28 -04:00
|
|
|
if TYPE_CHECKING:
|
|
|
|
from synapse.server import HomeServer
|
|
|
|
|
|
|
|
|
2014-11-19 13:20:59 -05:00
|
|
|
logger = logging.getLogger(__name__)
|
|
|
|
|
2014-12-18 09:49:22 -05:00
|
|
|
|
2020-07-16 09:06:28 -04:00
|
|
|
synapse_pushers = Gauge(
|
|
|
|
"synapse_pushers", "Number of active synapse pushers", ["kind", "app_id"]
|
|
|
|
)
|
|
|
|
|
|
|
|
|
2014-11-19 13:20:59 -05:00
|
|
|
class PusherPool:
|
2018-10-22 11:12:11 -04:00
|
|
|
"""
|
|
|
|
The pusher pool. This is responsible for dispatching notifications of new events to
|
|
|
|
the http and email pushers.
|
|
|
|
|
|
|
|
It provides three methods which are designed to be called by the rest of the
|
|
|
|
application: `start`, `on_new_notifications`, and `on_new_receipts`: each of these
|
|
|
|
delegates to each of the relevant pushers.
|
|
|
|
|
|
|
|
Note that it is expected that each pusher will have its own 'processing' loop which
|
|
|
|
will send out the notifications in the background, rather than blocking until the
|
|
|
|
notifications are sent; accordingly Pusher.on_started, Pusher.on_new_notifications and
|
2020-07-27 12:21:34 -04:00
|
|
|
Pusher.on_new_receipts are not expected to return awaitables.
|
2018-10-22 11:12:11 -04:00
|
|
|
"""
|
2019-06-20 05:32:02 -04:00
|
|
|
|
2020-07-16 09:06:28 -04:00
|
|
|
def __init__(self, hs: "HomeServer"):
|
|
|
|
self.hs = hs
|
|
|
|
self.pusher_factory = PusherFactory(hs)
|
2014-11-19 13:20:59 -05:00
|
|
|
self.store = self.hs.get_datastore()
|
2016-02-18 11:05:13 -05:00
|
|
|
self.clock = self.hs.get_clock()
|
2020-03-19 06:00:24 -04:00
|
|
|
|
2020-07-16 09:06:28 -04:00
|
|
|
# We shard the handling of push notifications by user ID.
|
2021-09-15 08:34:52 -04:00
|
|
|
self._pusher_shard_config = hs.config.worker.pusher_shard_config
|
2020-07-16 09:06:28 -04:00
|
|
|
self._instance_name = hs.get_instance_name()
|
2021-02-24 08:23:18 -05:00
|
|
|
self._should_start_pushers = (
|
|
|
|
self._instance_name in self._pusher_shard_config.instances
|
|
|
|
)
|
2020-07-16 09:06:28 -04:00
|
|
|
|
2021-02-22 16:14:42 -05:00
|
|
|
# We can only delete pushers on master.
|
|
|
|
self._remove_pusher_client = None
|
|
|
|
if hs.config.worker.worker_app:
|
|
|
|
self._remove_pusher_client = ReplicationRemovePusherRestServlet.make_client(
|
|
|
|
hs
|
|
|
|
)
|
|
|
|
|
2020-09-09 11:56:08 -04:00
|
|
|
# Record the last stream ID that we were poked about so we can get
|
|
|
|
# changes since then. We set this to the current max stream ID on
|
|
|
|
# startup as every individual pusher will have checked for changes on
|
|
|
|
# startup.
|
|
|
|
self._last_room_stream_id_seen = self.store.get_room_max_stream_ordering()
|
|
|
|
|
2020-03-19 06:00:24 -04:00
|
|
|
# map from user id to app_id:pushkey to pusher
|
2021-07-15 06:02:43 -04:00
|
|
|
self.pushers: Dict[str, Dict[str, Pusher]] = {}
|
2020-03-19 06:00:24 -04:00
|
|
|
|
2021-07-16 12:11:53 -04:00
|
|
|
self._account_validity_handler = hs.get_account_validity_handler()
|
|
|
|
|
2020-12-16 11:25:30 -05:00
|
|
|
def start(self) -> None:
|
2018-10-22 11:12:11 -04:00
|
|
|
"""Starts the pushers off in a background process."""
|
2018-10-24 04:24:55 -04:00
|
|
|
if not self._should_start_pushers:
|
2018-10-22 11:12:11 -04:00
|
|
|
logger.info("Not starting pushers because they are disabled in the config")
|
|
|
|
return
|
|
|
|
run_as_background_process("start_pushers", self._start_pushers)
|
2014-11-19 13:20:59 -05:00
|
|
|
|
2020-07-27 12:21:34 -04:00
|
|
|
async def add_pusher(
|
2016-02-18 11:05:13 -05:00
|
|
|
self,
|
2020-12-16 11:25:30 -05:00
|
|
|
user_id: str,
|
|
|
|
access_token: Optional[int],
|
|
|
|
kind: str,
|
|
|
|
app_id: str,
|
|
|
|
app_display_name: str,
|
|
|
|
device_display_name: str,
|
|
|
|
pushkey: str,
|
|
|
|
lang: Optional[str],
|
|
|
|
data: JsonDict,
|
|
|
|
profile_tag: str = "",
|
2020-12-07 09:59:38 -05:00
|
|
|
) -> Optional[Pusher]:
|
2019-06-07 07:10:23 -04:00
|
|
|
"""Creates a new pusher and adds it to the pool
|
|
|
|
|
|
|
|
Returns:
|
2020-12-07 09:59:38 -05:00
|
|
|
The newly created pusher.
|
2019-06-07 07:10:23 -04:00
|
|
|
"""
|
2020-07-16 09:06:28 -04:00
|
|
|
|
2021-02-25 10:35:14 -05:00
|
|
|
if kind == "email":
|
|
|
|
email_owner = await self.store.get_user_id_by_threepid("email", pushkey)
|
|
|
|
if email_owner != user_id:
|
|
|
|
raise SynapseError(400, "Email not found", Codes.THREEPID_NOT_FOUND)
|
|
|
|
|
2016-02-18 11:05:13 -05:00
|
|
|
time_now_msec = self.clock.time_msec()
|
|
|
|
|
2021-01-05 10:53:15 -05:00
|
|
|
# create the pusher setting last_stream_ordering to the current maximum
|
|
|
|
# stream ordering, so it will process pushes from this point onwards.
|
|
|
|
last_stream_ordering = self.store.get_room_max_stream_ordering()
|
|
|
|
|
2014-12-03 08:37:02 -05:00
|
|
|
# we try to create the pusher just to validate the config: it
|
|
|
|
# will then get pulled out of the database,
|
|
|
|
# recreated, added and started: this means we have only one
|
|
|
|
# code path adding pushers.
|
2017-05-22 12:48:53 -04:00
|
|
|
self.pusher_factory.create_pusher(
|
2020-12-16 11:25:30 -05:00
|
|
|
PusherConfig(
|
|
|
|
id=None,
|
|
|
|
user_name=user_id,
|
|
|
|
access_token=access_token,
|
|
|
|
profile_tag=profile_tag,
|
|
|
|
kind=kind,
|
|
|
|
app_id=app_id,
|
|
|
|
app_display_name=app_display_name,
|
|
|
|
device_display_name=device_display_name,
|
|
|
|
pushkey=pushkey,
|
|
|
|
ts=time_now_msec,
|
|
|
|
lang=lang,
|
|
|
|
data=data,
|
2021-01-05 10:53:15 -05:00
|
|
|
last_stream_ordering=last_stream_ordering,
|
2020-12-16 11:25:30 -05:00
|
|
|
last_success=None,
|
|
|
|
failing_since=None,
|
|
|
|
)
|
2014-11-19 13:20:59 -05:00
|
|
|
)
|
2016-04-06 10:42:15 -04:00
|
|
|
|
2020-07-27 12:21:34 -04:00
|
|
|
await self.store.add_pusher(
|
2016-02-18 11:05:13 -05:00
|
|
|
user_id=user_id,
|
|
|
|
access_token=access_token,
|
|
|
|
kind=kind,
|
|
|
|
app_id=app_id,
|
|
|
|
app_display_name=app_display_name,
|
|
|
|
device_display_name=device_display_name,
|
|
|
|
pushkey=pushkey,
|
|
|
|
pushkey_ts=time_now_msec,
|
|
|
|
lang=lang,
|
|
|
|
data=data,
|
2016-04-06 10:42:15 -04:00
|
|
|
last_stream_ordering=last_stream_ordering,
|
2016-02-18 11:05:13 -05:00
|
|
|
profile_tag=profile_tag,
|
2014-12-18 09:49:22 -05:00
|
|
|
)
|
2020-07-27 12:21:34 -04:00
|
|
|
pusher = await self.start_pusher_by_id(app_id, pushkey, user_id)
|
2019-06-07 07:10:23 -04:00
|
|
|
|
2019-07-23 09:00:55 -04:00
|
|
|
return pusher
|
2014-11-19 13:20:59 -05:00
|
|
|
|
2020-07-27 12:21:34 -04:00
|
|
|
async def remove_pushers_by_app_id_and_pushkey_not_user(
|
2020-12-16 11:25:30 -05:00
|
|
|
self, app_id: str, pushkey: str, not_user_id: str
|
|
|
|
) -> None:
|
2020-07-27 12:21:34 -04:00
|
|
|
to_remove = await self.store.get_pushers_by_app_id_and_pushkey(app_id, pushkey)
|
2015-03-25 15:06:22 -04:00
|
|
|
for p in to_remove:
|
2020-12-16 11:25:30 -05:00
|
|
|
if p.user_name != not_user_id:
|
2015-03-25 15:06:22 -04:00
|
|
|
logger.info(
|
|
|
|
"Removing pusher for app id %s, pushkey %s, user %s",
|
|
|
|
app_id,
|
|
|
|
pushkey,
|
2020-12-16 11:25:30 -05:00
|
|
|
p.user_name,
|
2015-03-25 15:06:22 -04:00
|
|
|
)
|
2020-12-16 11:25:30 -05:00
|
|
|
await self.remove_pusher(p.app_id, p.pushkey, p.user_name)
|
2015-03-25 15:06:22 -04:00
|
|
|
|
2020-12-16 11:25:30 -05:00
|
|
|
async def remove_pushers_by_access_token(
|
|
|
|
self, user_id: str, access_tokens: Iterable[int]
|
|
|
|
) -> None:
|
2017-11-29 09:33:05 -05:00
|
|
|
"""Remove the pushers for a given user corresponding to a set of
|
|
|
|
access_tokens.
|
|
|
|
|
|
|
|
Args:
|
2020-12-16 11:25:30 -05:00
|
|
|
user_id: user to remove pushers for
|
|
|
|
access_tokens: access token *ids* to remove pushers for
|
2017-11-29 09:33:05 -05:00
|
|
|
"""
|
|
|
|
tokens = set(access_tokens)
|
2020-07-27 12:21:34 -04:00
|
|
|
for p in await self.store.get_pushers_by_user_id(user_id):
|
2020-12-16 11:25:30 -05:00
|
|
|
if p.access_token in tokens:
|
2015-03-26 09:40:16 -04:00
|
|
|
logger.info(
|
|
|
|
"Removing pusher for app id %s, pushkey %s, user %s",
|
2020-12-16 11:25:30 -05:00
|
|
|
p.app_id,
|
|
|
|
p.pushkey,
|
|
|
|
p.user_name,
|
2017-11-29 09:33:05 -05:00
|
|
|
)
|
2020-12-16 11:25:30 -05:00
|
|
|
await self.remove_pusher(p.app_id, p.pushkey, p.user_name)
|
2015-03-26 09:40:16 -04:00
|
|
|
|
2020-12-16 11:25:30 -05:00
|
|
|
def on_new_notifications(self, max_token: RoomStreamToken) -> None:
|
2019-02-21 12:51:21 -05:00
|
|
|
if not self.pushers:
|
|
|
|
# nothing to do here.
|
|
|
|
return
|
|
|
|
|
2020-10-14 08:27:51 -04:00
|
|
|
# We just use the minimum stream ordering and ignore the vector clock
|
|
|
|
# component. This is safe to do as long as we *always* ignore the vector
|
|
|
|
# clock components.
|
|
|
|
max_stream_id = max_token.stream
|
|
|
|
|
2020-09-09 11:56:08 -04:00
|
|
|
if max_stream_id < self._last_room_stream_id_seen:
|
|
|
|
# Nothing to do
|
|
|
|
return
|
|
|
|
|
2020-10-26 05:30:19 -04:00
|
|
|
# We only start a new background process if necessary rather than
|
|
|
|
# optimistically (to cut down on overhead).
|
|
|
|
self._on_new_notifications(max_token)
|
|
|
|
|
|
|
|
@wrap_as_background_process("on_new_notifications")
|
2020-12-16 11:25:30 -05:00
|
|
|
async def _on_new_notifications(self, max_token: RoomStreamToken) -> None:
|
2020-10-26 05:30:19 -04:00
|
|
|
# We just use the minimum stream ordering and ignore the vector clock
|
|
|
|
# component. This is safe to do as long as we *always* ignore the vector
|
|
|
|
# clock components.
|
|
|
|
max_stream_id = max_token.stream
|
|
|
|
|
2020-09-09 11:56:08 -04:00
|
|
|
prev_stream_id = self._last_room_stream_id_seen
|
|
|
|
self._last_room_stream_id_seen = max_stream_id
|
|
|
|
|
2016-04-06 10:42:15 -04:00
|
|
|
try:
|
2020-07-27 12:21:34 -04:00
|
|
|
users_affected = await self.store.get_push_action_users_in_range(
|
2020-09-09 11:56:08 -04:00
|
|
|
prev_stream_id, max_stream_id
|
2014-12-03 08:37:02 -05:00
|
|
|
)
|
2016-04-07 12:22:14 -04:00
|
|
|
|
2016-04-06 10:42:15 -04:00
|
|
|
for u in users_affected:
|
2020-09-23 11:06:28 -04:00
|
|
|
# Don't push if the user account has expired
|
2021-07-16 12:11:53 -04:00
|
|
|
expired = await self._account_validity_handler.is_user_expired(u)
|
|
|
|
if expired:
|
|
|
|
continue
|
2020-09-23 11:06:28 -04:00
|
|
|
|
2016-04-06 10:42:15 -04:00
|
|
|
if u in self.pushers:
|
|
|
|
for p in self.pushers[u].values():
|
2020-10-14 08:27:51 -04:00
|
|
|
p.on_new_notifications(max_token)
|
2018-10-22 11:12:11 -04:00
|
|
|
|
2017-10-23 10:52:32 -04:00
|
|
|
except Exception:
|
2016-04-06 10:42:15 -04:00
|
|
|
logger.exception("Exception in pusher on_new_notifications")
|
2014-11-19 13:20:59 -05:00
|
|
|
|
2020-12-16 11:25:30 -05:00
|
|
|
async def on_new_receipts(
|
|
|
|
self, min_stream_id: int, max_stream_id: int, affected_room_ids: Iterable[str]
|
|
|
|
) -> None:
|
2019-02-21 12:51:21 -05:00
|
|
|
if not self.pushers:
|
|
|
|
# nothing to do here.
|
|
|
|
return
|
|
|
|
|
2016-04-07 10:39:53 -04:00
|
|
|
try:
|
|
|
|
# Need to subtract 1 from the minimum because the lower bound here
|
|
|
|
# is not inclusive
|
2020-07-27 12:21:34 -04:00
|
|
|
users_affected = await self.store.get_users_sent_receipts_between(
|
2016-04-07 10:39:53 -04:00
|
|
|
min_stream_id - 1, max_stream_id
|
|
|
|
)
|
2016-04-07 12:22:14 -04:00
|
|
|
|
2016-04-07 10:39:53 -04:00
|
|
|
for u in users_affected:
|
2020-09-23 11:06:28 -04:00
|
|
|
# Don't push if the user account has expired
|
2021-07-16 12:11:53 -04:00
|
|
|
expired = await self._account_validity_handler.is_user_expired(u)
|
|
|
|
if expired:
|
|
|
|
continue
|
2020-09-23 11:06:28 -04:00
|
|
|
|
2016-04-07 10:39:53 -04:00
|
|
|
if u in self.pushers:
|
|
|
|
for p in self.pushers[u].values():
|
2018-10-22 11:12:11 -04:00
|
|
|
p.on_new_receipts(min_stream_id, max_stream_id)
|
|
|
|
|
2017-10-23 10:52:32 -04:00
|
|
|
except Exception:
|
2016-04-07 10:39:53 -04:00
|
|
|
logger.exception("Exception in pusher on_new_receipts")
|
|
|
|
|
2020-12-07 09:59:38 -05:00
|
|
|
async def start_pusher_by_id(
|
|
|
|
self, app_id: str, pushkey: str, user_id: str
|
|
|
|
) -> Optional[Pusher]:
|
2019-06-07 07:10:23 -04:00
|
|
|
"""Look up the details for the given pusher, and start it
|
|
|
|
|
|
|
|
Returns:
|
2020-12-07 09:59:38 -05:00
|
|
|
The pusher started, if any
|
2019-06-07 07:10:23 -04:00
|
|
|
"""
|
2018-10-24 04:24:55 -04:00
|
|
|
if not self._should_start_pushers:
|
2020-12-07 09:59:38 -05:00
|
|
|
return None
|
2018-10-22 11:12:11 -04:00
|
|
|
|
2020-07-16 09:06:28 -04:00
|
|
|
if not self._pusher_shard_config.should_handle(self._instance_name, user_id):
|
2020-12-07 09:59:38 -05:00
|
|
|
return None
|
2020-07-16 09:06:28 -04:00
|
|
|
|
2020-07-27 12:21:34 -04:00
|
|
|
resultlist = await self.store.get_pushers_by_app_id_and_pushkey(app_id, pushkey)
|
2014-11-19 13:20:59 -05:00
|
|
|
|
2020-12-16 11:25:30 -05:00
|
|
|
pusher_config = None
|
2015-03-25 15:06:22 -04:00
|
|
|
for r in resultlist:
|
2020-12-16 11:25:30 -05:00
|
|
|
if r.user_name == user_id:
|
|
|
|
pusher_config = r
|
2014-11-19 13:20:59 -05:00
|
|
|
|
2019-06-07 07:10:23 -04:00
|
|
|
pusher = None
|
2020-12-16 11:25:30 -05:00
|
|
|
if pusher_config:
|
|
|
|
pusher = await self._start_pusher(pusher_config)
|
2019-06-07 07:10:23 -04:00
|
|
|
|
2019-07-23 09:00:55 -04:00
|
|
|
return pusher
|
2014-11-19 13:20:59 -05:00
|
|
|
|
2020-07-27 12:21:34 -04:00
|
|
|
async def _start_pushers(self) -> None:
|
2018-10-22 11:12:11 -04:00
|
|
|
"""Start all the pushers"""
|
2020-07-27 12:21:34 -04:00
|
|
|
pushers = await self.store.get_all_pushers()
|
2019-04-02 11:45:33 -04:00
|
|
|
|
|
|
|
# Stagger starting up the pushers so we don't completely drown the
|
|
|
|
# process on start up.
|
2020-07-27 12:21:34 -04:00
|
|
|
await concurrently_execute(self._start_pusher, pushers, 10)
|
2019-04-02 11:45:33 -04:00
|
|
|
|
2018-10-22 11:12:11 -04:00
|
|
|
logger.info("Started pushers")
|
2016-04-06 10:42:15 -04:00
|
|
|
|
2020-12-16 11:25:30 -05:00
|
|
|
async def _start_pusher(self, pusher_config: PusherConfig) -> Optional[Pusher]:
|
2018-10-22 11:12:11 -04:00
|
|
|
"""Start the given pusher
|
2015-01-13 14:48:37 -05:00
|
|
|
|
2018-10-22 11:12:11 -04:00
|
|
|
Args:
|
2020-12-16 11:25:30 -05:00
|
|
|
pusher_config: The pusher configuration with the values pulled from the db table
|
2018-10-22 11:12:11 -04:00
|
|
|
|
|
|
|
Returns:
|
2020-12-07 09:59:38 -05:00
|
|
|
The newly created pusher or None.
|
2018-10-22 11:12:11 -04:00
|
|
|
"""
|
2020-07-16 09:06:28 -04:00
|
|
|
if not self._pusher_shard_config.should_handle(
|
2020-12-16 11:25:30 -05:00
|
|
|
self._instance_name, pusher_config.user_name
|
2020-07-16 09:06:28 -04:00
|
|
|
):
|
2020-12-07 09:59:38 -05:00
|
|
|
return None
|
2020-07-16 09:06:28 -04:00
|
|
|
|
2018-10-22 11:12:11 -04:00
|
|
|
try:
|
2020-12-16 11:25:30 -05:00
|
|
|
p = self.pusher_factory.create_pusher(pusher_config)
|
2019-02-22 10:18:19 -05:00
|
|
|
except PusherConfigException as e:
|
|
|
|
logger.warning(
|
2019-12-18 09:26:58 -05:00
|
|
|
"Pusher incorrectly configured id=%i, user=%s, appid=%s, pushkey=%s: %s",
|
2020-12-16 11:25:30 -05:00
|
|
|
pusher_config.id,
|
|
|
|
pusher_config.user_name,
|
|
|
|
pusher_config.app_id,
|
|
|
|
pusher_config.pushkey,
|
2019-02-22 10:18:19 -05:00
|
|
|
e,
|
|
|
|
)
|
2020-12-07 09:59:38 -05:00
|
|
|
return None
|
2018-10-22 11:12:11 -04:00
|
|
|
except Exception:
|
2019-12-18 09:26:58 -05:00
|
|
|
logger.exception(
|
2020-12-16 11:25:30 -05:00
|
|
|
"Couldn't start pusher id %i: caught Exception",
|
|
|
|
pusher_config.id,
|
2019-12-18 09:26:58 -05:00
|
|
|
)
|
2020-12-07 09:59:38 -05:00
|
|
|
return None
|
2018-10-22 11:12:11 -04:00
|
|
|
|
|
|
|
if not p:
|
2020-12-07 09:59:38 -05:00
|
|
|
return None
|
2018-10-22 11:12:11 -04:00
|
|
|
|
2020-12-16 11:25:30 -05:00
|
|
|
appid_pushkey = "%s:%s" % (pusher_config.app_id, pusher_config.pushkey)
|
2018-10-22 11:12:11 -04:00
|
|
|
|
2020-12-16 11:25:30 -05:00
|
|
|
byuser = self.pushers.setdefault(pusher_config.user_name, {})
|
2020-07-16 09:06:28 -04:00
|
|
|
if appid_pushkey in byuser:
|
|
|
|
byuser[appid_pushkey].on_stop()
|
|
|
|
byuser[appid_pushkey] = p
|
|
|
|
|
|
|
|
synapse_pushers.labels(type(p).__name__, p.app_id).inc()
|
2019-04-02 11:45:33 -04:00
|
|
|
|
|
|
|
# Check if there *may* be push to process. We do this as this check is a
|
|
|
|
# lot cheaper to do than actually fetching the exact rows we need to
|
|
|
|
# push.
|
2020-12-16 11:25:30 -05:00
|
|
|
user_id = pusher_config.user_name
|
|
|
|
last_stream_ordering = pusher_config.last_stream_ordering
|
2019-04-02 11:45:33 -04:00
|
|
|
if last_stream_ordering:
|
2020-07-27 12:21:34 -04:00
|
|
|
have_notifs = await self.store.get_if_maybe_push_in_range_for_user(
|
2019-04-02 11:45:33 -04:00
|
|
|
user_id, last_stream_ordering
|
|
|
|
)
|
|
|
|
else:
|
|
|
|
# We always want to default to starting up the pusher rather than
|
|
|
|
# risk missing push.
|
|
|
|
have_notifs = True
|
|
|
|
|
|
|
|
p.on_started(have_notifs)
|
2015-04-29 13:37:42 -04:00
|
|
|
|
2019-07-23 09:00:55 -04:00
|
|
|
return p
|
2019-06-07 07:10:23 -04:00
|
|
|
|
2020-12-16 11:25:30 -05:00
|
|
|
async def remove_pusher(self, app_id: str, pushkey: str, user_id: str) -> None:
|
2016-04-06 10:42:15 -04:00
|
|
|
appid_pushkey = "%s:%s" % (app_id, pushkey)
|
|
|
|
|
|
|
|
byuser = self.pushers.get(user_id, {})
|
|
|
|
|
|
|
|
if appid_pushkey in byuser:
|
|
|
|
logger.info("Stopping pusher %s / %s", user_id, appid_pushkey)
|
2020-07-16 09:06:28 -04:00
|
|
|
pusher = byuser.pop(appid_pushkey)
|
|
|
|
pusher.on_stop()
|
|
|
|
|
|
|
|
synapse_pushers.labels(type(pusher).__name__, pusher.app_id).dec()
|
2020-03-19 06:28:49 -04:00
|
|
|
|
2021-02-22 16:14:42 -05:00
|
|
|
# We can only delete pushers on master.
|
|
|
|
if self._remove_pusher_client:
|
|
|
|
await self._remove_pusher_client(
|
|
|
|
app_id=app_id, pushkey=pushkey, user_id=user_id
|
|
|
|
)
|
|
|
|
else:
|
|
|
|
await self.store.delete_pusher_by_app_id_pushkey_user_id(
|
|
|
|
app_id, pushkey, user_id
|
|
|
|
)
|