diff options
| author | Shay <hillerys@element.io> | 2023-04-26 16:03:26 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-26 16:03:26 -0700 |
| commit | 301b4156d5574521e4fa3df8fed2f8a1c8617745 (patch) | |
| tree | 2f9f837444c8802451f51b1a165f6bcdf181fcfd /synapse/api | |
| parent | Add a module API to send an HTTP push notification (#15387) (diff) | |
| download | synapse-301b4156d5574521e4fa3df8fed2f8a1c8617745.tar.xz | |
Add column `full_user_id` to tables `profiles` and `user_filters`. (#15458)
Diffstat (limited to 'synapse/api')
| -rw-r--r-- | synapse/api/filtering.py | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/synapse/api/filtering.py b/synapse/api/filtering.py index b9f432cc23..de7c56bc0f 100644 --- a/synapse/api/filtering.py +++ b/synapse/api/filtering.py @@ -170,11 +170,9 @@ class Filtering: result = await self.store.get_user_filter(user_localpart, filter_id) return FilterCollection(self._hs, result) - def add_user_filter( - self, user_localpart: str, user_filter: JsonDict - ) -> Awaitable[int]: + def add_user_filter(self, user_id: UserID, user_filter: JsonDict) -> Awaitable[int]: self.check_valid_filter(user_filter) - return self.store.add_user_filter(user_localpart, user_filter) + return self.store.add_user_filter(user_id, user_filter) # TODO(paul): surely we should probably add a delete_user_filter or # replace_user_filter at some point? There's no REST API specified for |