2014-11-19 13:20:59 -05:00
|
|
|
# -*- coding: utf-8 -*-
|
2016-01-06 23:26:29 -05:00
|
|
|
# Copyright 2014-2016 OpenMarket Ltd
|
2018-02-23 05:41:34 -05:00
|
|
|
# Copyright 2018 New Vector 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-07-09 02:09:20 -04:00
|
|
|
import logging
|
2020-12-16 11:25:30 -05:00
|
|
|
from typing import TYPE_CHECKING, Any, Dict, Iterable, Iterator, List, Optional, Tuple
|
2014-11-19 13:20:59 -05:00
|
|
|
|
2020-07-16 11:32:19 -04:00
|
|
|
from canonicaljson import encode_canonical_json
|
2015-04-16 06:01:09 -04:00
|
|
|
|
2020-12-16 11:25:30 -05:00
|
|
|
from synapse.push import PusherConfig, ThrottleParams
|
2020-07-16 11:32:19 -04:00
|
|
|
from synapse.storage._base import SQLBaseStore, db_to_json
|
2020-12-16 11:25:30 -05:00
|
|
|
from synapse.storage.database import DatabasePool
|
|
|
|
from synapse.storage.types import Connection
|
|
|
|
from synapse.storage.util.id_generators import StreamIdGenerator
|
|
|
|
from synapse.types import JsonDict
|
2020-08-14 10:30:16 -04:00
|
|
|
from synapse.util.caches.descriptors import cached, cachedList
|
2016-04-06 10:42:15 -04:00
|
|
|
|
2020-12-16 11:25:30 -05:00
|
|
|
if TYPE_CHECKING:
|
|
|
|
from synapse.app.homeserver import HomeServer
|
|
|
|
|
2014-11-19 13:20:59 -05:00
|
|
|
logger = logging.getLogger(__name__)
|
|
|
|
|
2014-12-03 08:37:02 -05:00
|
|
|
|
2018-02-21 05:54:18 -05:00
|
|
|
class PusherWorkerStore(SQLBaseStore):
|
2020-12-16 11:25:30 -05:00
|
|
|
def __init__(self, database: DatabasePool, db_conn: Connection, hs: "HomeServer"):
|
|
|
|
super().__init__(database, db_conn, hs)
|
|
|
|
self._pushers_id_gen = StreamIdGenerator(
|
|
|
|
db_conn, "pushers", "id", extra_tables=[("deleted_pushers", "stream_id")]
|
|
|
|
)
|
|
|
|
|
|
|
|
def _decode_pushers_rows(self, rows: Iterable[dict]) -> Iterator[PusherConfig]:
|
2019-12-18 09:26:58 -05:00
|
|
|
"""JSON-decode the data in the rows returned from the `pushers` table
|
|
|
|
|
|
|
|
Drops any rows whose data cannot be decoded
|
|
|
|
"""
|
2015-04-29 14:41:14 -04:00
|
|
|
for r in rows:
|
2020-08-14 10:30:16 -04:00
|
|
|
data_json = r["data"]
|
2015-04-29 14:41:14 -04:00
|
|
|
try:
|
2020-08-14 10:30:16 -04:00
|
|
|
r["data"] = db_to_json(data_json)
|
2015-04-29 14:41:14 -04:00
|
|
|
except Exception as e:
|
2019-10-31 06:23:24 -04:00
|
|
|
logger.warning(
|
2015-04-29 14:41:14 -04:00
|
|
|
"Invalid JSON in data for pusher %d: %s, %s",
|
2019-06-20 05:32:02 -04:00
|
|
|
r["id"],
|
2020-08-14 10:30:16 -04:00
|
|
|
data_json,
|
2019-04-03 05:07:29 -04:00
|
|
|
e.args[0],
|
2015-04-29 14:41:14 -04:00
|
|
|
)
|
2019-12-18 09:26:58 -05:00
|
|
|
continue
|
2015-04-29 14:41:14 -04:00
|
|
|
|
2020-12-16 11:25:30 -05:00
|
|
|
yield PusherConfig(**r)
|
2015-04-29 14:41:14 -04:00
|
|
|
|
2020-12-16 11:25:30 -05:00
|
|
|
async def user_has_pusher(self, user_id: str) -> bool:
|
2020-08-14 10:30:16 -04:00
|
|
|
ret = await self.db_pool.simple_select_one_onecol(
|
2016-04-08 10:29:59 -04:00
|
|
|
"pushers", {"user_name": user_id}, "id", allow_none=True
|
|
|
|
)
|
2019-07-23 09:00:55 -04:00
|
|
|
return ret is not None
|
2016-04-08 10:29:59 -04:00
|
|
|
|
2020-12-16 11:25:30 -05:00
|
|
|
async def get_pushers_by_app_id_and_pushkey(
|
|
|
|
self, app_id: str, pushkey: str
|
|
|
|
) -> Iterator[PusherConfig]:
|
|
|
|
return await self.get_pushers_by({"app_id": app_id, "pushkey": pushkey})
|
2014-12-18 09:49:22 -05:00
|
|
|
|
2020-12-16 11:25:30 -05:00
|
|
|
async def get_pushers_by_user_id(self, user_id: str) -> Iterator[PusherConfig]:
|
|
|
|
return await self.get_pushers_by({"user_name": user_id})
|
2016-04-11 13:00:03 -04:00
|
|
|
|
2020-12-16 11:25:30 -05:00
|
|
|
async def get_pushers_by(self, keyvalues: Dict[str, Any]) -> Iterator[PusherConfig]:
|
2020-08-14 10:30:16 -04:00
|
|
|
ret = await self.db_pool.simple_select_list(
|
2019-04-03 05:07:29 -04:00
|
|
|
"pushers",
|
|
|
|
keyvalues,
|
2016-04-12 08:47:17 -04:00
|
|
|
[
|
|
|
|
"id",
|
|
|
|
"user_name",
|
|
|
|
"access_token",
|
|
|
|
"profile_tag",
|
|
|
|
"kind",
|
|
|
|
"app_id",
|
|
|
|
"app_display_name",
|
|
|
|
"device_display_name",
|
|
|
|
"pushkey",
|
|
|
|
"ts",
|
|
|
|
"lang",
|
|
|
|
"data",
|
|
|
|
"last_stream_ordering",
|
|
|
|
"last_success",
|
|
|
|
"failing_since",
|
2019-04-03 05:07:29 -04:00
|
|
|
],
|
|
|
|
desc="get_pushers_by",
|
2016-04-11 13:00:03 -04:00
|
|
|
)
|
2019-07-23 09:00:55 -04:00
|
|
|
return self._decode_pushers_rows(ret)
|
2016-04-11 13:00:03 -04:00
|
|
|
|
2020-12-16 11:25:30 -05:00
|
|
|
async def get_all_pushers(self) -> Iterator[PusherConfig]:
|
2015-04-29 13:03:42 -04:00
|
|
|
def get_pushers(txn):
|
|
|
|
txn.execute("SELECT * FROM pushers")
|
2020-08-05 16:38:57 -04:00
|
|
|
rows = self.db_pool.cursor_to_dict(txn)
|
2014-12-18 09:49:22 -05:00
|
|
|
|
2015-04-29 14:41:14 -04:00
|
|
|
return self._decode_pushers_rows(rows)
|
2015-04-29 13:07:36 -04:00
|
|
|
|
2020-08-14 10:30:16 -04:00
|
|
|
return await self.db_pool.runInteraction("get_all_pushers", get_pushers)
|
2014-11-19 13:20:59 -05:00
|
|
|
|
2020-07-07 07:11:35 -04:00
|
|
|
async def get_all_updated_pushers_rows(
|
|
|
|
self, instance_name: str, last_id: int, current_id: int, limit: int
|
|
|
|
) -> Tuple[List[Tuple[int, tuple]], int, bool]:
|
|
|
|
"""Get updates for pushers replication stream.
|
2016-03-15 13:01:43 -04:00
|
|
|
|
2020-07-07 07:11:35 -04:00
|
|
|
Args:
|
|
|
|
instance_name: The writer we want to fetch updates from. Unused
|
|
|
|
here since there is only ever one writer.
|
|
|
|
last_id: The token to fetch updates from. Exclusive.
|
|
|
|
current_id: The token to fetch updates up to. Inclusive.
|
|
|
|
limit: The requested limit for the number of rows to return. The
|
|
|
|
function may return more or fewer rows.
|
2019-04-03 05:07:29 -04:00
|
|
|
|
2020-07-07 07:11:35 -04:00
|
|
|
Returns:
|
|
|
|
A tuple consisting of: the updates, a token to use to fetch
|
|
|
|
subsequent updates, and whether we returned fewer rows than exists
|
|
|
|
between the requested tokens due to the limit.
|
2016-03-15 13:01:43 -04:00
|
|
|
|
2020-07-07 07:11:35 -04:00
|
|
|
The token returned can be used in a subsequent call to this
|
|
|
|
function to get further updatees.
|
2017-03-27 09:03:38 -04:00
|
|
|
|
2020-07-07 07:11:35 -04:00
|
|
|
The updates are a list of 2-tuples of stream ID and the row data
|
2017-03-27 09:03:38 -04:00
|
|
|
"""
|
|
|
|
|
|
|
|
if last_id == current_id:
|
2020-07-07 07:11:35 -04:00
|
|
|
return [], current_id, False
|
2017-03-27 09:03:38 -04:00
|
|
|
|
|
|
|
def get_all_updated_pushers_rows_txn(txn):
|
2020-07-07 07:11:35 -04:00
|
|
|
sql = """
|
|
|
|
SELECT id, user_name, app_id, pushkey
|
|
|
|
FROM pushers
|
|
|
|
WHERE ? < id AND id <= ?
|
|
|
|
ORDER BY id ASC LIMIT ?
|
|
|
|
"""
|
2017-03-27 09:03:38 -04:00
|
|
|
txn.execute(sql, (last_id, current_id, limit))
|
2020-07-07 07:11:35 -04:00
|
|
|
updates = [
|
|
|
|
(stream_id, (user_name, app_id, pushkey, False))
|
|
|
|
for stream_id, user_name, app_id, pushkey in txn
|
|
|
|
]
|
|
|
|
|
|
|
|
sql = """
|
|
|
|
SELECT stream_id, user_id, app_id, pushkey
|
|
|
|
FROM deleted_pushers
|
|
|
|
WHERE ? < stream_id AND stream_id <= ?
|
|
|
|
ORDER BY stream_id ASC LIMIT ?
|
|
|
|
"""
|
2017-03-27 09:03:38 -04:00
|
|
|
txn.execute(sql, (last_id, current_id, limit))
|
2020-07-07 07:11:35 -04:00
|
|
|
updates.extend(
|
|
|
|
(stream_id, (user_name, app_id, pushkey, True))
|
|
|
|
for stream_id, user_name, app_id, pushkey in txn
|
|
|
|
)
|
|
|
|
|
|
|
|
updates.sort() # Sort so that they're ordered by stream id
|
2017-03-27 09:03:38 -04:00
|
|
|
|
2020-07-07 07:11:35 -04:00
|
|
|
limited = False
|
|
|
|
upper_bound = current_id
|
|
|
|
if len(updates) >= limit:
|
|
|
|
limited = True
|
|
|
|
upper_bound = updates[-1][0]
|
2017-03-27 09:03:38 -04:00
|
|
|
|
2020-07-07 07:11:35 -04:00
|
|
|
return updates, upper_bound, limited
|
2019-04-03 05:07:29 -04:00
|
|
|
|
2020-08-05 16:38:57 -04:00
|
|
|
return await self.db_pool.runInteraction(
|
2017-03-27 09:03:38 -04:00
|
|
|
"get_all_updated_pushers_rows", get_all_updated_pushers_rows_txn
|
|
|
|
)
|
|
|
|
|
2020-08-14 10:30:16 -04:00
|
|
|
@cached(num_args=1, max_entries=15000)
|
2020-12-16 11:25:30 -05:00
|
|
|
async def get_if_user_has_pusher(self, user_id: str):
|
2016-11-04 06:53:42 -04:00
|
|
|
# This only exists for the cachedList decorator
|
2016-11-04 06:48:20 -04:00
|
|
|
raise NotImplementedError()
|
2016-06-01 06:08:45 -04:00
|
|
|
|
2019-04-03 05:07:29 -04:00
|
|
|
@cachedList(
|
2020-08-14 07:24:26 -04:00
|
|
|
cached_method_name="get_if_user_has_pusher", list_name="user_ids", num_args=1,
|
2019-04-03 05:07:29 -04:00
|
|
|
)
|
2020-12-16 11:25:30 -05:00
|
|
|
async def get_if_users_have_pushers(
|
|
|
|
self, user_ids: Iterable[str]
|
|
|
|
) -> Dict[str, bool]:
|
2020-08-14 07:24:26 -04:00
|
|
|
rows = await self.db_pool.simple_select_many_batch(
|
2019-06-20 05:32:02 -04:00
|
|
|
table="pushers",
|
|
|
|
column="user_name",
|
2016-06-01 06:08:45 -04:00
|
|
|
iterable=user_ids,
|
2019-06-20 05:32:02 -04:00
|
|
|
retcols=["user_name"],
|
|
|
|
desc="get_if_users_have_pushers",
|
2016-04-06 10:42:15 -04:00
|
|
|
)
|
|
|
|
|
2016-06-01 06:08:45 -04:00
|
|
|
result = {user_id: False for user_id in user_ids}
|
2019-06-20 05:32:02 -04:00
|
|
|
result.update({r["user_name"]: True for r in rows})
|
2016-06-01 06:08:45 -04:00
|
|
|
|
2019-07-23 09:00:55 -04:00
|
|
|
return result
|
2016-04-06 10:42:15 -04:00
|
|
|
|
2020-08-14 10:30:16 -04:00
|
|
|
async def update_pusher_last_stream_ordering(
|
2020-02-25 11:56:55 -05:00
|
|
|
self, app_id, pushkey, user_id, last_stream_ordering
|
2020-08-14 10:30:16 -04:00
|
|
|
) -> None:
|
|
|
|
await self.db_pool.simple_update_one(
|
2020-02-25 11:56:55 -05:00
|
|
|
"pushers",
|
|
|
|
{"app_id": app_id, "pushkey": pushkey, "user_name": user_id},
|
|
|
|
{"last_stream_ordering": last_stream_ordering},
|
|
|
|
desc="update_pusher_last_stream_ordering",
|
|
|
|
)
|
|
|
|
|
2020-08-14 10:30:16 -04:00
|
|
|
async def update_pusher_last_stream_ordering_and_success(
|
|
|
|
self,
|
|
|
|
app_id: str,
|
|
|
|
pushkey: str,
|
|
|
|
user_id: str,
|
|
|
|
last_stream_ordering: int,
|
|
|
|
last_success: int,
|
|
|
|
) -> bool:
|
2020-02-25 11:56:55 -05:00
|
|
|
"""Update the last stream ordering position we've processed up to for
|
|
|
|
the given pusher.
|
|
|
|
|
|
|
|
Args:
|
2020-08-14 10:30:16 -04:00
|
|
|
app_id
|
|
|
|
pushkey
|
|
|
|
user_id
|
|
|
|
last_stream_ordering
|
|
|
|
last_success
|
2020-02-25 11:56:55 -05:00
|
|
|
|
|
|
|
Returns:
|
2020-08-14 10:30:16 -04:00
|
|
|
True if the pusher still exists; False if it has been deleted.
|
2020-02-25 11:56:55 -05:00
|
|
|
"""
|
2020-08-14 10:30:16 -04:00
|
|
|
updated = await self.db_pool.simple_update(
|
2020-02-25 11:56:55 -05:00
|
|
|
table="pushers",
|
|
|
|
keyvalues={"app_id": app_id, "pushkey": pushkey, "user_name": user_id},
|
|
|
|
updatevalues={
|
|
|
|
"last_stream_ordering": last_stream_ordering,
|
|
|
|
"last_success": last_success,
|
|
|
|
},
|
|
|
|
desc="update_pusher_last_stream_ordering_and_success",
|
|
|
|
)
|
|
|
|
|
|
|
|
return bool(updated)
|
|
|
|
|
2020-08-14 10:30:16 -04:00
|
|
|
async def update_pusher_failing_since(
|
2020-12-16 11:25:30 -05:00
|
|
|
self, app_id: str, pushkey: str, user_id: str, failing_since: Optional[int]
|
2020-08-14 10:30:16 -04:00
|
|
|
) -> None:
|
|
|
|
await self.db_pool.simple_update(
|
2020-02-25 11:56:55 -05:00
|
|
|
table="pushers",
|
|
|
|
keyvalues={"app_id": app_id, "pushkey": pushkey, "user_name": user_id},
|
|
|
|
updatevalues={"failing_since": failing_since},
|
|
|
|
desc="update_pusher_failing_since",
|
|
|
|
)
|
|
|
|
|
2020-12-16 11:25:30 -05:00
|
|
|
async def get_throttle_params_by_room(
|
|
|
|
self, pusher_id: str
|
|
|
|
) -> Dict[str, ThrottleParams]:
|
2020-08-14 10:30:16 -04:00
|
|
|
res = await self.db_pool.simple_select_list(
|
2020-02-25 11:56:55 -05:00
|
|
|
"pusher_throttle",
|
|
|
|
{"pusher": pusher_id},
|
|
|
|
["room_id", "last_sent_ts", "throttle_ms"],
|
|
|
|
desc="get_throttle_params_by_room",
|
|
|
|
)
|
|
|
|
|
|
|
|
params_by_room = {}
|
|
|
|
for row in res:
|
2020-12-16 11:25:30 -05:00
|
|
|
params_by_room[row["room_id"]] = ThrottleParams(
|
|
|
|
row["last_sent_ts"], row["throttle_ms"],
|
|
|
|
)
|
2020-02-25 11:56:55 -05:00
|
|
|
|
|
|
|
return params_by_room
|
|
|
|
|
2020-12-16 11:25:30 -05:00
|
|
|
async def set_throttle_params(
|
|
|
|
self, pusher_id: str, room_id: str, params: ThrottleParams
|
|
|
|
) -> None:
|
2020-02-25 11:56:55 -05:00
|
|
|
# no need to lock because `pusher_throttle` has a primary key on
|
|
|
|
# (pusher, room_id) so simple_upsert will retry
|
2020-08-14 10:30:16 -04:00
|
|
|
await self.db_pool.simple_upsert(
|
2020-02-25 11:56:55 -05:00
|
|
|
"pusher_throttle",
|
|
|
|
{"pusher": pusher_id, "room_id": room_id},
|
2020-12-16 11:25:30 -05:00
|
|
|
{"last_sent_ts": params.last_sent_ts, "throttle_ms": params.throttle_ms},
|
2020-02-25 11:56:55 -05:00
|
|
|
desc="set_throttle_params",
|
|
|
|
lock=False,
|
|
|
|
)
|
|
|
|
|
2018-02-27 07:01:36 -05:00
|
|
|
|
|
|
|
class PusherStore(PusherWorkerStore):
|
2020-12-16 11:25:30 -05:00
|
|
|
def get_pushers_stream_token(self) -> int:
|
2018-02-27 07:01:36 -05:00
|
|
|
return self._pushers_id_gen.get_current_token()
|
|
|
|
|
2020-08-14 10:30:16 -04:00
|
|
|
async def add_pusher(
|
2019-04-03 05:07:29 -04: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,
|
|
|
|
pushkey_ts: int,
|
|
|
|
lang: Optional[str],
|
|
|
|
data: Optional[JsonDict],
|
|
|
|
last_stream_ordering: int,
|
|
|
|
profile_tag: str = "",
|
2020-08-14 10:30:16 -04:00
|
|
|
) -> None:
|
2020-09-23 11:11:18 -04:00
|
|
|
async with self._pushers_id_gen.get_next() as stream_id:
|
2017-11-16 10:32:01 -05:00
|
|
|
# no need to lock because `pushers` has a unique key on
|
2019-12-04 05:15:55 -05:00
|
|
|
# (app_id, pushkey, user_name) so simple_upsert will retry
|
2020-08-14 10:30:16 -04:00
|
|
|
await self.db_pool.simple_upsert(
|
2017-11-16 10:32:01 -05:00
|
|
|
table="pushers",
|
2019-04-03 05:07:29 -04:00
|
|
|
keyvalues={"app_id": app_id, "pushkey": pushkey, "user_name": user_id},
|
2017-11-16 10:32:01 -05:00
|
|
|
values={
|
|
|
|
"access_token": access_token,
|
|
|
|
"kind": kind,
|
|
|
|
"app_display_name": app_display_name,
|
|
|
|
"device_display_name": device_display_name,
|
|
|
|
"ts": pushkey_ts,
|
|
|
|
"lang": lang,
|
2019-10-08 11:21:17 -04:00
|
|
|
"data": bytearray(encode_canonical_json(data)),
|
2017-11-16 10:32:01 -05:00
|
|
|
"last_stream_ordering": last_stream_ordering,
|
|
|
|
"profile_tag": profile_tag,
|
|
|
|
"id": stream_id,
|
|
|
|
},
|
|
|
|
desc="add_pusher",
|
|
|
|
lock=False,
|
|
|
|
)
|
2016-05-13 06:25:02 -04:00
|
|
|
|
2020-10-19 10:00:12 -04:00
|
|
|
user_has_pusher = self.get_if_user_has_pusher.cache.get_immediate(
|
2019-01-24 05:31:54 -05:00
|
|
|
(user_id,), None, update_metrics=False
|
|
|
|
)
|
|
|
|
|
|
|
|
if user_has_pusher is not True:
|
|
|
|
# invalidate, since we the user might not have had a pusher before
|
2020-08-14 10:30:16 -04:00
|
|
|
await self.db_pool.runInteraction(
|
2018-02-27 07:01:36 -05:00
|
|
|
"add_pusher",
|
2020-12-16 11:25:30 -05:00
|
|
|
self._invalidate_cache_and_stream, # type: ignore
|
2019-04-03 05:07:29 -04:00
|
|
|
self.get_if_user_has_pusher,
|
|
|
|
(user_id,),
|
2018-02-27 07:01:36 -05:00
|
|
|
)
|
2014-11-19 13:20:59 -05:00
|
|
|
|
2020-08-14 10:30:16 -04:00
|
|
|
async def delete_pusher_by_app_id_pushkey_user_id(
|
2020-12-16 11:25:30 -05:00
|
|
|
self, app_id: str, pushkey: str, user_id: str
|
2020-08-14 10:30:16 -04:00
|
|
|
) -> None:
|
2016-03-15 13:01:43 -04:00
|
|
|
def delete_pusher_txn(txn, stream_id):
|
2020-12-16 11:25:30 -05:00
|
|
|
self._invalidate_cache_and_stream( # type: ignore
|
2018-02-27 07:01:36 -05:00
|
|
|
txn, self.get_if_user_has_pusher, (user_id,)
|
|
|
|
)
|
2016-05-13 06:25:02 -04:00
|
|
|
|
2020-08-05 16:38:57 -04:00
|
|
|
self.db_pool.simple_delete_one_txn(
|
2016-03-15 13:01:43 -04:00
|
|
|
txn,
|
|
|
|
"pushers",
|
2019-04-03 05:07:29 -04:00
|
|
|
{"app_id": app_id, "pushkey": pushkey, "user_name": user_id},
|
2016-03-15 13:01:43 -04:00
|
|
|
)
|
2017-11-16 12:44:52 -05:00
|
|
|
|
|
|
|
# it's possible for us to end up with duplicate rows for
|
|
|
|
# (app_id, pushkey, user_id) at different stream_ids, but that
|
|
|
|
# doesn't really matter.
|
2020-08-05 16:38:57 -04:00
|
|
|
self.db_pool.simple_insert_txn(
|
2016-03-15 13:01:43 -04:00
|
|
|
txn,
|
2017-11-16 12:44:52 -05:00
|
|
|
table="deleted_pushers",
|
|
|
|
values={
|
|
|
|
"stream_id": stream_id,
|
|
|
|
"app_id": app_id,
|
|
|
|
"pushkey": pushkey,
|
|
|
|
"user_id": user_id,
|
|
|
|
},
|
2016-03-15 13:01:43 -04:00
|
|
|
)
|
2016-05-13 06:25:02 -04:00
|
|
|
|
2020-09-23 11:11:18 -04:00
|
|
|
async with self._pushers_id_gen.get_next() as stream_id:
|
2020-08-14 10:30:16 -04:00
|
|
|
await self.db_pool.runInteraction(
|
2020-08-05 16:38:57 -04:00
|
|
|
"delete_pusher", delete_pusher_txn, stream_id
|
|
|
|
)
|