2017-05-31 06:51:01 -04: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 02:09:20 -04:00
|
|
|
import logging
|
|
|
|
import re
|
2023-02-24 08:39:45 -05:00
|
|
|
import unicodedata
|
2021-09-24 05:38:22 -04:00
|
|
|
from typing import (
|
|
|
|
TYPE_CHECKING,
|
|
|
|
Iterable,
|
|
|
|
List,
|
2023-02-10 18:29:00 -05:00
|
|
|
Mapping,
|
2021-09-24 05:38:22 -04:00
|
|
|
Optional,
|
|
|
|
Sequence,
|
|
|
|
Set,
|
|
|
|
Tuple,
|
|
|
|
cast,
|
|
|
|
)
|
|
|
|
|
2022-12-12 07:21:17 -05:00
|
|
|
try:
|
|
|
|
# Figure out if ICU support is available for searching users.
|
|
|
|
import icu
|
|
|
|
|
|
|
|
USE_ICU = True
|
|
|
|
except ModuleNotFoundError:
|
|
|
|
USE_ICU = False
|
|
|
|
|
2022-03-18 09:51:41 -04:00
|
|
|
from typing_extensions import TypedDict
|
|
|
|
|
2021-10-13 05:38:22 -04:00
|
|
|
from synapse.api.errors import StoreError
|
2022-05-18 06:28:14 -04:00
|
|
|
from synapse.util.stringutils import non_null_str_or_none
|
2021-10-13 05:38:22 -04:00
|
|
|
|
2021-09-24 05:38:22 -04:00
|
|
|
if TYPE_CHECKING:
|
|
|
|
from synapse.server import HomeServer
|
2017-05-31 06:51:01 -04:00
|
|
|
|
2020-12-16 08:46:37 -05:00
|
|
|
from synapse.api.constants import EventTypes, HistoryVisibility, JoinRules
|
2021-12-13 12:05:00 -05:00
|
|
|
from synapse.storage.database import (
|
|
|
|
DatabasePool,
|
|
|
|
LoggingDatabaseConnection,
|
|
|
|
LoggingTransaction,
|
|
|
|
)
|
2020-08-05 16:38:57 -04:00
|
|
|
from synapse.storage.databases.main.state import StateFilter
|
|
|
|
from synapse.storage.databases.main.state_deltas import StateDeltasStore
|
2019-03-11 09:39:12 -04:00
|
|
|
from synapse.storage.engines import PostgresEngine, Sqlite3Engine
|
2022-03-18 09:51:41 -04:00
|
|
|
from synapse.types import (
|
|
|
|
JsonDict,
|
2023-03-16 05:55:19 -04:00
|
|
|
UserID,
|
2022-03-18 09:51:41 -04:00
|
|
|
UserProfile,
|
|
|
|
get_domain_from_id,
|
|
|
|
get_localpart_from_id,
|
|
|
|
)
|
2019-03-12 06:47:14 -04:00
|
|
|
from synapse.util.caches.descriptors import cached
|
2017-05-31 06:51:01 -04:00
|
|
|
|
2017-06-15 04:59:04 -04:00
|
|
|
logger = logging.getLogger(__name__)
|
2017-05-31 06:51:01 -04:00
|
|
|
|
2019-03-18 13:50:24 -04:00
|
|
|
TEMP_TABLE = "_temp_populate_user_directory"
|
|
|
|
|
|
|
|
|
2019-12-04 10:09:36 -05:00
|
|
|
class UserDirectoryBackgroundUpdateStore(StateDeltasStore):
|
2019-03-20 12:06:36 -04:00
|
|
|
# How many records do we calculate before sending it to
|
|
|
|
# add_users_who_share_private_rooms?
|
|
|
|
SHARE_PRIVATE_WORKING_SET = 500
|
|
|
|
|
2021-09-24 05:38:22 -04:00
|
|
|
def __init__(
|
|
|
|
self,
|
|
|
|
database: DatabasePool,
|
2021-12-13 12:05:00 -05:00
|
|
|
db_conn: LoggingDatabaseConnection,
|
2021-09-24 05:38:22 -04:00
|
|
|
hs: "HomeServer",
|
2022-02-21 11:03:06 -05:00
|
|
|
) -> None:
|
2020-09-18 09:56:44 -04:00
|
|
|
super().__init__(database, db_conn, hs)
|
2019-03-18 13:50:24 -04:00
|
|
|
|
2022-03-28 14:11:14 -04:00
|
|
|
self.server_name: str = hs.hostname
|
2019-03-18 13:50:24 -04:00
|
|
|
|
2020-08-05 16:38:57 -04:00
|
|
|
self.db_pool.updates.register_background_update_handler(
|
2019-03-18 13:50:24 -04:00
|
|
|
"populate_user_directory_createtables",
|
|
|
|
self._populate_user_directory_createtables,
|
|
|
|
)
|
2020-08-05 16:38:57 -04:00
|
|
|
self.db_pool.updates.register_background_update_handler(
|
2019-03-18 13:50:24 -04:00
|
|
|
"populate_user_directory_process_rooms",
|
|
|
|
self._populate_user_directory_process_rooms,
|
|
|
|
)
|
2020-08-05 16:38:57 -04:00
|
|
|
self.db_pool.updates.register_background_update_handler(
|
2019-03-18 13:50:24 -04:00
|
|
|
"populate_user_directory_process_users",
|
|
|
|
self._populate_user_directory_process_users,
|
|
|
|
)
|
2020-08-05 16:38:57 -04:00
|
|
|
self.db_pool.updates.register_background_update_handler(
|
2019-03-18 13:50:24 -04:00
|
|
|
"populate_user_directory_cleanup", self._populate_user_directory_cleanup
|
|
|
|
)
|
|
|
|
|
2021-09-24 05:38:22 -04:00
|
|
|
async def _populate_user_directory_createtables(
|
|
|
|
self, progress: JsonDict, batch_size: int
|
|
|
|
) -> int:
|
2019-03-18 13:50:24 -04:00
|
|
|
# Get all the rooms that we want to process.
|
2021-09-24 05:38:22 -04:00
|
|
|
def _make_staging_area(txn: LoggingTransaction) -> None:
|
2019-03-18 13:50:24 -04:00
|
|
|
sql = (
|
|
|
|
"CREATE TABLE IF NOT EXISTS "
|
|
|
|
+ TEMP_TABLE
|
|
|
|
+ "_rooms(room_id TEXT NOT NULL, events BIGINT NOT NULL)"
|
|
|
|
)
|
|
|
|
txn.execute(sql)
|
|
|
|
|
|
|
|
sql = (
|
|
|
|
"CREATE TABLE IF NOT EXISTS "
|
|
|
|
+ TEMP_TABLE
|
|
|
|
+ "_position(position TEXT NOT NULL)"
|
|
|
|
)
|
|
|
|
txn.execute(sql)
|
|
|
|
|
|
|
|
# Get rooms we want to process from the database
|
|
|
|
sql = """
|
|
|
|
SELECT room_id, count(*) FROM current_state_events
|
|
|
|
GROUP BY room_id
|
|
|
|
"""
|
|
|
|
txn.execute(sql)
|
2022-01-13 19:44:18 -05:00
|
|
|
rooms = list(txn.fetchall())
|
|
|
|
self.db_pool.simple_insert_many_txn(
|
|
|
|
txn, TEMP_TABLE + "_rooms", keys=("room_id", "events"), values=rooms
|
|
|
|
)
|
2019-03-18 13:50:24 -04:00
|
|
|
del rooms
|
|
|
|
|
2021-09-21 08:02:34 -04:00
|
|
|
sql = (
|
|
|
|
"CREATE TABLE IF NOT EXISTS "
|
|
|
|
+ TEMP_TABLE
|
|
|
|
+ "_users(user_id TEXT NOT NULL)"
|
|
|
|
)
|
|
|
|
txn.execute(sql)
|
2019-03-18 13:50:24 -04:00
|
|
|
|
2021-09-21 08:02:34 -04:00
|
|
|
txn.execute("SELECT name FROM users")
|
2022-01-13 19:44:18 -05:00
|
|
|
users = list(txn.fetchall())
|
2019-03-18 13:50:24 -04:00
|
|
|
|
2022-01-13 19:44:18 -05:00
|
|
|
self.db_pool.simple_insert_many_txn(
|
|
|
|
txn, TEMP_TABLE + "_users", keys=("user_id",), values=users
|
|
|
|
)
|
2019-03-18 13:50:24 -04:00
|
|
|
|
2020-08-07 12:17:17 -04:00
|
|
|
new_pos = await self.get_max_stream_id_in_current_state_deltas()
|
|
|
|
await self.db_pool.runInteraction(
|
2019-03-18 13:50:24 -04:00
|
|
|
"populate_user_directory_temp_build", _make_staging_area
|
|
|
|
)
|
2020-08-07 12:17:17 -04:00
|
|
|
await self.db_pool.simple_insert(
|
2020-08-05 16:38:57 -04:00
|
|
|
TEMP_TABLE + "_position", {"position": new_pos}
|
|
|
|
)
|
2019-03-18 13:50:24 -04:00
|
|
|
|
2020-08-07 12:17:17 -04:00
|
|
|
await self.db_pool.updates._end_background_update(
|
2019-12-04 10:09:36 -05:00
|
|
|
"populate_user_directory_createtables"
|
|
|
|
)
|
2019-07-23 09:00:55 -04:00
|
|
|
return 1
|
2019-03-18 13:50:24 -04:00
|
|
|
|
2021-09-24 05:38:22 -04:00
|
|
|
async def _populate_user_directory_cleanup(
|
|
|
|
self,
|
|
|
|
progress: JsonDict,
|
|
|
|
batch_size: int,
|
|
|
|
) -> int:
|
2019-03-18 13:50:24 -04:00
|
|
|
"""
|
|
|
|
Update the user directory stream position, then clean up the old tables.
|
|
|
|
"""
|
2020-08-07 12:17:17 -04:00
|
|
|
position = await self.db_pool.simple_select_one_onecol(
|
2021-09-24 05:38:22 -04:00
|
|
|
TEMP_TABLE + "_position", {}, "position"
|
2019-03-18 13:50:24 -04:00
|
|
|
)
|
2020-08-07 12:17:17 -04:00
|
|
|
await self.update_user_directory_stream_pos(position)
|
2019-03-18 13:50:24 -04:00
|
|
|
|
2021-09-24 05:38:22 -04:00
|
|
|
def _delete_staging_area(txn: LoggingTransaction) -> None:
|
2019-03-18 13:50:24 -04:00
|
|
|
txn.execute("DROP TABLE IF EXISTS " + TEMP_TABLE + "_rooms")
|
|
|
|
txn.execute("DROP TABLE IF EXISTS " + TEMP_TABLE + "_users")
|
|
|
|
txn.execute("DROP TABLE IF EXISTS " + TEMP_TABLE + "_position")
|
|
|
|
|
2020-08-07 12:17:17 -04:00
|
|
|
await self.db_pool.runInteraction(
|
2019-03-18 13:50:24 -04:00
|
|
|
"populate_user_directory_cleanup", _delete_staging_area
|
|
|
|
)
|
|
|
|
|
2020-08-07 12:17:17 -04:00
|
|
|
await self.db_pool.updates._end_background_update(
|
2020-08-05 16:38:57 -04:00
|
|
|
"populate_user_directory_cleanup"
|
|
|
|
)
|
2019-07-23 09:00:55 -04:00
|
|
|
return 1
|
2019-03-18 13:50:24 -04:00
|
|
|
|
2021-09-24 05:38:22 -04:00
|
|
|
async def _populate_user_directory_process_rooms(
|
|
|
|
self, progress: JsonDict, batch_size: int
|
|
|
|
) -> int:
|
2019-03-26 11:49:28 -04:00
|
|
|
"""
|
2021-09-24 05:38:22 -04:00
|
|
|
Rescan the state of all rooms so we can track
|
|
|
|
|
|
|
|
- who's in a public room;
|
|
|
|
- which local users share a private room with other users (local
|
|
|
|
and remote); and
|
|
|
|
- who should be in the user_directory.
|
|
|
|
|
2019-03-26 11:49:28 -04:00
|
|
|
Args:
|
2022-11-16 10:25:24 -05:00
|
|
|
progress
|
|
|
|
batch_size: Maximum number of state events to process per cycle.
|
2021-09-24 05:38:22 -04:00
|
|
|
|
|
|
|
Returns:
|
|
|
|
number of events processed.
|
2019-03-26 11:49:28 -04:00
|
|
|
"""
|
2019-03-18 13:50:24 -04:00
|
|
|
# If we don't have progress filed, delete everything.
|
|
|
|
if not progress:
|
2020-08-07 12:17:17 -04:00
|
|
|
await self.delete_all_from_user_dir()
|
2019-03-18 13:50:24 -04:00
|
|
|
|
2021-09-24 05:38:22 -04:00
|
|
|
def _get_next_batch(
|
|
|
|
txn: LoggingTransaction,
|
|
|
|
) -> Optional[Sequence[Tuple[str, int]]]:
|
2019-03-26 11:49:28 -04:00
|
|
|
# Only fetch 250 rooms, so we don't fetch too many at once, even
|
|
|
|
# if those 250 rooms have less than batch_size state events.
|
2019-03-18 13:50:24 -04:00
|
|
|
sql = """
|
2019-03-26 11:49:28 -04:00
|
|
|
SELECT room_id, events FROM %s
|
2019-03-18 13:50:24 -04:00
|
|
|
ORDER BY events DESC
|
2019-03-26 11:49:28 -04:00
|
|
|
LIMIT 250
|
2019-03-18 13:50:24 -04:00
|
|
|
""" % (
|
|
|
|
TEMP_TABLE + "_rooms",
|
|
|
|
)
|
|
|
|
txn.execute(sql)
|
2021-09-24 05:38:22 -04:00
|
|
|
rooms_to_work_on = cast(List[Tuple[str, int]], txn.fetchall())
|
2019-03-18 13:50:24 -04:00
|
|
|
|
|
|
|
if not rooms_to_work_on:
|
|
|
|
return None
|
|
|
|
|
|
|
|
# Get how many are left to process, so we can give status on how
|
|
|
|
# far we are in processing
|
|
|
|
txn.execute("SELECT COUNT(*) FROM " + TEMP_TABLE + "_rooms")
|
2021-09-24 05:38:22 -04:00
|
|
|
result = txn.fetchone()
|
|
|
|
assert result is not None
|
|
|
|
progress["remaining"] = result[0]
|
2019-03-18 13:50:24 -04:00
|
|
|
|
|
|
|
return rooms_to_work_on
|
|
|
|
|
2020-08-07 12:17:17 -04:00
|
|
|
rooms_to_work_on = await self.db_pool.runInteraction(
|
2019-03-18 13:50:24 -04:00
|
|
|
"populate_user_directory_temp_read", _get_next_batch
|
|
|
|
)
|
|
|
|
|
|
|
|
# No more rooms -- complete the transaction.
|
|
|
|
if not rooms_to_work_on:
|
2020-08-07 12:17:17 -04:00
|
|
|
await self.db_pool.updates._end_background_update(
|
2019-12-04 10:09:36 -05:00
|
|
|
"populate_user_directory_process_rooms"
|
|
|
|
)
|
2019-07-23 09:00:55 -04:00
|
|
|
return 1
|
2019-03-18 13:50:24 -04:00
|
|
|
|
2020-02-06 08:31:05 -05:00
|
|
|
logger.debug(
|
2019-03-18 13:50:24 -04:00
|
|
|
"Processing the next %d rooms of %d remaining"
|
|
|
|
% (len(rooms_to_work_on), progress["remaining"])
|
|
|
|
)
|
|
|
|
|
2019-03-26 11:49:28 -04:00
|
|
|
processed_event_count = 0
|
|
|
|
|
|
|
|
for room_id, event_count in rooms_to_work_on:
|
2022-02-21 11:03:06 -05:00
|
|
|
is_in_room = await self.is_host_joined(room_id, self.server_name) # type: ignore[attr-defined]
|
2019-03-18 13:50:24 -04:00
|
|
|
|
|
|
|
if is_in_room:
|
2022-02-21 11:03:06 -05:00
|
|
|
users_with_profile = await self.get_users_in_room_with_profiles(room_id) # type: ignore[attr-defined]
|
2021-10-04 07:45:51 -04:00
|
|
|
# Throw away users excluded from the directory.
|
|
|
|
users_with_profile = {
|
|
|
|
user_id: profile
|
|
|
|
for user_id, profile in users_with_profile.items()
|
|
|
|
if not self.hs.is_mine_id(user_id)
|
|
|
|
or await self.should_include_local_user_in_dir(user_id)
|
|
|
|
}
|
2019-03-18 13:50:24 -04:00
|
|
|
|
2021-10-05 13:35:25 -04:00
|
|
|
# Upsert a user_directory record for each remote user we see.
|
2019-03-18 13:50:24 -04:00
|
|
|
for user_id, profile in users_with_profile.items():
|
2021-10-05 13:35:25 -04:00
|
|
|
# Local users are processed separately in
|
|
|
|
# `_populate_user_directory_users`; there we can read from
|
|
|
|
# the `profiles` table to ensure we don't leak their per-room
|
|
|
|
# profiles. It also means we write local users to this table
|
|
|
|
# exactly once, rather than once for every room they're in.
|
|
|
|
if self.hs.is_mine_id(user_id):
|
|
|
|
continue
|
|
|
|
# TODO `users_with_profile` above reads from the `user_directory`
|
|
|
|
# table, meaning that `profile` is bespoke to this room.
|
|
|
|
# and this leaks remote users' per-room profiles to the user directory.
|
2020-08-07 12:17:17 -04:00
|
|
|
await self.update_profile_in_user_dir(
|
2019-03-18 13:50:24 -04:00
|
|
|
user_id, profile.display_name, profile.avatar_url
|
|
|
|
)
|
|
|
|
|
2021-10-05 13:35:25 -04:00
|
|
|
# Now update the room sharing tables to include this room.
|
|
|
|
is_public = await self.is_room_world_readable_or_publicly_joinable(
|
|
|
|
room_id
|
|
|
|
)
|
2019-03-18 13:50:24 -04:00
|
|
|
if is_public:
|
2021-10-05 13:35:25 -04:00
|
|
|
if users_with_profile:
|
|
|
|
await self.add_users_in_public_rooms(
|
|
|
|
room_id, users_with_profile.keys()
|
|
|
|
)
|
2019-03-18 13:50:24 -04:00
|
|
|
else:
|
2021-10-05 13:35:25 -04:00
|
|
|
to_insert = set()
|
2021-09-10 05:54:38 -04:00
|
|
|
for user_id in users_with_profile:
|
2021-10-04 07:45:51 -04:00
|
|
|
# We want the set of pairs (L, M) where L and M are
|
|
|
|
# in `users_with_profile` and L is local.
|
|
|
|
# Do so by looking for the local user L first.
|
2019-03-18 13:50:24 -04:00
|
|
|
if not self.hs.is_mine_id(user_id):
|
|
|
|
continue
|
|
|
|
|
2021-09-10 05:54:38 -04:00
|
|
|
for other_user_id in users_with_profile:
|
2019-03-18 13:50:24 -04:00
|
|
|
if user_id == other_user_id:
|
|
|
|
continue
|
|
|
|
|
|
|
|
user_set = (user_id, other_user_id)
|
|
|
|
to_insert.add(user_set)
|
|
|
|
|
2019-03-20 12:06:36 -04:00
|
|
|
# If it gets too big, stop and write to the database
|
|
|
|
# to prevent storing too much in RAM.
|
|
|
|
if len(to_insert) >= self.SHARE_PRIVATE_WORKING_SET:
|
2020-08-07 12:17:17 -04:00
|
|
|
await self.add_users_who_share_private_room(
|
2019-03-20 12:06:36 -04:00
|
|
|
room_id, to_insert
|
|
|
|
)
|
|
|
|
to_insert.clear()
|
|
|
|
|
2019-03-18 13:50:24 -04:00
|
|
|
if to_insert:
|
2020-08-07 12:17:17 -04:00
|
|
|
await self.add_users_who_share_private_room(room_id, to_insert)
|
2019-03-18 13:50:24 -04:00
|
|
|
to_insert.clear()
|
|
|
|
|
|
|
|
# We've finished a room. Delete it from the table.
|
2020-08-07 12:17:17 -04:00
|
|
|
await self.db_pool.simple_delete_one(
|
2020-08-05 16:38:57 -04:00
|
|
|
TEMP_TABLE + "_rooms", {"room_id": room_id}
|
|
|
|
)
|
2019-03-18 13:50:24 -04:00
|
|
|
# Update the remaining counter.
|
|
|
|
progress["remaining"] -= 1
|
2020-08-07 12:17:17 -04:00
|
|
|
await self.db_pool.runInteraction(
|
2019-03-18 13:50:24 -04:00
|
|
|
"populate_user_directory",
|
2020-08-05 16:38:57 -04:00
|
|
|
self.db_pool.updates._background_update_progress_txn,
|
2019-03-18 13:50:24 -04:00
|
|
|
"populate_user_directory_process_rooms",
|
|
|
|
progress,
|
|
|
|
)
|
|
|
|
|
2019-03-26 11:49:28 -04:00
|
|
|
processed_event_count += event_count
|
|
|
|
|
|
|
|
if processed_event_count > batch_size:
|
|
|
|
# Don't process any more rooms, we've hit our batch size.
|
2019-07-23 09:00:55 -04:00
|
|
|
return processed_event_count
|
2019-03-26 11:49:28 -04:00
|
|
|
|
2019-07-23 09:00:55 -04:00
|
|
|
return processed_event_count
|
2019-03-18 13:50:24 -04:00
|
|
|
|
2021-09-24 05:38:22 -04:00
|
|
|
async def _populate_user_directory_process_users(
|
|
|
|
self, progress: JsonDict, batch_size: int
|
|
|
|
) -> int:
|
2019-03-18 13:50:24 -04:00
|
|
|
"""
|
2021-09-21 08:02:34 -04:00
|
|
|
Add all local users to the user directory.
|
2019-03-18 13:50:24 -04:00
|
|
|
"""
|
|
|
|
|
2021-09-24 05:38:22 -04:00
|
|
|
def _get_next_batch(txn: LoggingTransaction) -> Optional[List[str]]:
|
2019-03-18 13:50:24 -04:00
|
|
|
sql = "SELECT user_id FROM %s LIMIT %s" % (
|
|
|
|
TEMP_TABLE + "_users",
|
|
|
|
str(batch_size),
|
|
|
|
)
|
|
|
|
txn.execute(sql)
|
2021-09-24 05:38:22 -04:00
|
|
|
user_result = cast(List[Tuple[str]], txn.fetchall())
|
2019-03-18 13:50:24 -04:00
|
|
|
|
2021-09-24 05:38:22 -04:00
|
|
|
if not user_result:
|
2019-03-18 13:50:24 -04:00
|
|
|
return None
|
|
|
|
|
2021-09-24 05:38:22 -04:00
|
|
|
users_to_work_on = [x[0] for x in user_result]
|
2019-03-18 13:50:24 -04:00
|
|
|
|
|
|
|
# Get how many are left to process, so we can give status on how
|
|
|
|
# far we are in processing
|
|
|
|
sql = "SELECT COUNT(*) FROM " + TEMP_TABLE + "_users"
|
|
|
|
txn.execute(sql)
|
2021-09-24 05:38:22 -04:00
|
|
|
count_result = txn.fetchone()
|
|
|
|
assert count_result is not None
|
|
|
|
progress["remaining"] = count_result[0]
|
2019-03-18 13:50:24 -04:00
|
|
|
|
|
|
|
return users_to_work_on
|
|
|
|
|
2020-08-07 12:17:17 -04:00
|
|
|
users_to_work_on = await self.db_pool.runInteraction(
|
2019-03-18 13:50:24 -04:00
|
|
|
"populate_user_directory_temp_read", _get_next_batch
|
|
|
|
)
|
|
|
|
|
|
|
|
# No more users -- complete the transaction.
|
|
|
|
if not users_to_work_on:
|
2020-08-07 12:17:17 -04:00
|
|
|
await self.db_pool.updates._end_background_update(
|
2019-12-04 10:09:36 -05:00
|
|
|
"populate_user_directory_process_users"
|
|
|
|
)
|
2019-07-23 09:00:55 -04:00
|
|
|
return 1
|
2019-03-18 13:50:24 -04:00
|
|
|
|
2020-02-06 08:31:05 -05:00
|
|
|
logger.debug(
|
2019-03-18 13:50:24 -04:00
|
|
|
"Processing the next %d users of %d remaining"
|
|
|
|
% (len(users_to_work_on), progress["remaining"])
|
|
|
|
)
|
|
|
|
|
|
|
|
for user_id in users_to_work_on:
|
2021-10-04 07:45:51 -04:00
|
|
|
if await self.should_include_local_user_in_dir(user_id):
|
2022-02-21 11:03:06 -05:00
|
|
|
profile = await self.get_profileinfo(get_localpart_from_id(user_id)) # type: ignore[attr-defined]
|
2021-10-04 07:45:51 -04:00
|
|
|
await self.update_profile_in_user_dir(
|
|
|
|
user_id, profile.display_name, profile.avatar_url
|
|
|
|
)
|
2019-03-18 13:50:24 -04:00
|
|
|
|
|
|
|
# We've finished processing a user. Delete it from the table.
|
2020-08-07 12:17:17 -04:00
|
|
|
await self.db_pool.simple_delete_one(
|
2020-08-05 16:38:57 -04:00
|
|
|
TEMP_TABLE + "_users", {"user_id": user_id}
|
|
|
|
)
|
2019-03-18 13:50:24 -04:00
|
|
|
# Update the remaining counter.
|
|
|
|
progress["remaining"] -= 1
|
2020-08-07 12:17:17 -04:00
|
|
|
await self.db_pool.runInteraction(
|
2019-03-18 13:50:24 -04:00
|
|
|
"populate_user_directory",
|
2020-08-05 16:38:57 -04:00
|
|
|
self.db_pool.updates._background_update_progress_txn,
|
2019-03-18 13:50:24 -04:00
|
|
|
"populate_user_directory_process_users",
|
|
|
|
progress,
|
|
|
|
)
|
|
|
|
|
2019-07-23 09:00:55 -04:00
|
|
|
return len(users_to_work_on)
|
2019-03-18 13:50:24 -04:00
|
|
|
|
2021-10-04 07:45:51 -04:00
|
|
|
async def should_include_local_user_in_dir(self, user: str) -> bool:
|
|
|
|
"""Certain classes of local user are omitted from the user directory.
|
|
|
|
Is this user one of them?
|
|
|
|
"""
|
2021-10-13 05:38:22 -04:00
|
|
|
# We're opting to exclude the appservice sender (user defined by the
|
|
|
|
# `sender_localpart` in the appservice registration) even though
|
|
|
|
# technically it could be DM-able. In the future, this could potentially
|
|
|
|
# be configurable per-appservice whether the appservice sender can be
|
|
|
|
# contacted.
|
2022-02-21 11:03:06 -05:00
|
|
|
if self.get_app_service_by_user_id(user) is not None: # type: ignore[attr-defined]
|
2021-10-13 05:38:22 -04:00
|
|
|
return False
|
|
|
|
|
|
|
|
# We're opting to exclude appservice users (anyone matching the user
|
|
|
|
# namespace regex in the appservice registration) even though technically
|
|
|
|
# they could be DM-able. In the future, this could potentially
|
|
|
|
# be configurable per-appservice whether the appservice users can be
|
|
|
|
# contacted.
|
2022-02-21 11:03:06 -05:00
|
|
|
if self.get_if_app_services_interested_in_user(user): # type: ignore[attr-defined]
|
2021-10-04 07:45:51 -04:00
|
|
|
# TODO we might want to make this configurable for each app service
|
|
|
|
return False
|
|
|
|
|
|
|
|
# Support users are for diagnostics and should not appear in the user directory.
|
2022-02-21 11:03:06 -05:00
|
|
|
if await self.is_support_user(user): # type: ignore[attr-defined]
|
2021-10-04 07:45:51 -04:00
|
|
|
return False
|
|
|
|
|
|
|
|
# Deactivated users aren't contactable, so should not appear in the user directory.
|
2021-10-13 05:38:22 -04:00
|
|
|
try:
|
2022-02-21 11:03:06 -05:00
|
|
|
if await self.get_user_deactivated_status(user): # type: ignore[attr-defined]
|
2021-10-13 05:38:22 -04:00
|
|
|
return False
|
|
|
|
except StoreError:
|
|
|
|
# No such user in the users table. No need to do this when calling
|
|
|
|
# is_support_user---that returns False if the user is missing.
|
2021-10-04 07:45:51 -04:00
|
|
|
return False
|
2021-10-13 05:38:22 -04:00
|
|
|
|
2021-10-04 07:45:51 -04:00
|
|
|
return True
|
|
|
|
|
2021-09-24 05:38:22 -04:00
|
|
|
async def is_room_world_readable_or_publicly_joinable(self, room_id: str) -> bool:
|
2017-05-31 10:00:29 -04:00
|
|
|
"""Check if the room is either world_readable or publically joinable"""
|
2019-02-05 07:16:28 -05:00
|
|
|
|
|
|
|
# Create a state filter that only queries join and history state event
|
|
|
|
types_to_filter = (
|
|
|
|
(EventTypes.JoinRules, ""),
|
|
|
|
(EventTypes.RoomHistoryVisibility, ""),
|
|
|
|
)
|
|
|
|
|
2022-06-01 11:02:53 -04:00
|
|
|
# Getting the partial state is fine, as we're not looking at membership
|
|
|
|
# events.
|
|
|
|
current_state_ids = await self.get_partial_filtered_current_state_ids( # type: ignore[attr-defined]
|
2019-02-13 07:05:32 -05:00
|
|
|
room_id, StateFilter.from_types(types_to_filter)
|
2017-05-31 06:51:01 -04:00
|
|
|
)
|
|
|
|
|
|
|
|
join_rules_id = current_state_ids.get((EventTypes.JoinRules, ""))
|
|
|
|
if join_rules_id:
|
2022-02-21 11:03:06 -05:00
|
|
|
join_rule_ev = await self.get_event(join_rules_id, allow_none=True) # type: ignore[attr-defined]
|
2017-05-31 06:51:01 -04:00
|
|
|
if join_rule_ev:
|
2017-06-01 06:09:49 -04:00
|
|
|
if join_rule_ev.content.get("join_rule") == JoinRules.PUBLIC:
|
2019-07-23 09:00:55 -04:00
|
|
|
return True
|
2017-05-31 06:51:01 -04:00
|
|
|
|
|
|
|
hist_vis_id = current_state_ids.get((EventTypes.RoomHistoryVisibility, ""))
|
|
|
|
if hist_vis_id:
|
2022-02-21 11:03:06 -05:00
|
|
|
hist_vis_ev = await self.get_event(hist_vis_id, allow_none=True) # type: ignore[attr-defined]
|
2017-05-31 06:51:01 -04:00
|
|
|
if hist_vis_ev:
|
2020-12-16 08:46:37 -05:00
|
|
|
if (
|
|
|
|
hist_vis_ev.content.get("history_visibility")
|
|
|
|
== HistoryVisibility.WORLD_READABLE
|
|
|
|
):
|
2019-07-23 09:00:55 -04:00
|
|
|
return True
|
2017-05-31 06:51:01 -04:00
|
|
|
|
2019-07-23 09:00:55 -04:00
|
|
|
return False
|
2017-05-31 06:51:01 -04:00
|
|
|
|
2023-03-16 05:55:19 -04:00
|
|
|
async def set_remote_user_profile_in_user_dir_stale(
|
|
|
|
self, user_id: str, next_try_at_ms: int, retry_counter: int
|
|
|
|
) -> None:
|
|
|
|
"""
|
|
|
|
Marks a remote user as having a possibly-stale user directory profile.
|
|
|
|
|
|
|
|
Args:
|
|
|
|
user_id: the remote user who may have a stale profile on this server.
|
|
|
|
next_try_at_ms: timestamp in ms after which the user directory profile can be
|
|
|
|
refreshed.
|
|
|
|
retry_counter: number of failures in refreshing the profile so far. Used for
|
|
|
|
exponential backoff calculations.
|
|
|
|
"""
|
|
|
|
assert not self.hs.is_mine_id(
|
|
|
|
user_id
|
|
|
|
), "Can't mark a local user as a stale remote user."
|
|
|
|
|
|
|
|
server_name = UserID.from_string(user_id).domain
|
|
|
|
|
|
|
|
await self.db_pool.simple_upsert(
|
|
|
|
table="user_directory_stale_remote_users",
|
|
|
|
keyvalues={"user_id": user_id},
|
|
|
|
values={
|
|
|
|
"next_try_at_ts": next_try_at_ms,
|
|
|
|
"retry_counter": retry_counter,
|
|
|
|
"user_server_name": server_name,
|
|
|
|
},
|
|
|
|
desc="set_remote_user_profile_in_user_dir_stale",
|
|
|
|
)
|
|
|
|
|
2023-03-16 07:44:11 -04:00
|
|
|
async def clear_remote_user_profile_in_user_dir_stale(self, user_id: str) -> None:
|
|
|
|
"""
|
|
|
|
Marks a remote user as no longer having a possibly-stale user directory profile.
|
|
|
|
|
|
|
|
Args:
|
|
|
|
user_id: the remote user who no longer has a stale profile on this server.
|
|
|
|
"""
|
|
|
|
await self.db_pool.simple_delete(
|
|
|
|
table="user_directory_stale_remote_users",
|
|
|
|
keyvalues={"user_id": user_id},
|
|
|
|
desc="clear_remote_user_profile_in_user_dir_stale",
|
|
|
|
)
|
|
|
|
|
|
|
|
async def get_remote_servers_with_profiles_to_refresh(
|
|
|
|
self, now_ts: int, limit: int
|
|
|
|
) -> List[str]:
|
|
|
|
"""
|
|
|
|
Get a list of up to `limit` server names which have users whose
|
|
|
|
locally-cached profiles we believe to be stale
|
|
|
|
and are refreshable given the current time `now_ts` in milliseconds.
|
|
|
|
"""
|
|
|
|
|
|
|
|
def _get_remote_servers_with_refreshable_profiles_txn(
|
|
|
|
txn: LoggingTransaction,
|
|
|
|
) -> List[str]:
|
|
|
|
sql = """
|
|
|
|
SELECT user_server_name
|
|
|
|
FROM user_directory_stale_remote_users
|
|
|
|
WHERE next_try_at_ts < ?
|
|
|
|
GROUP BY user_server_name
|
|
|
|
ORDER BY MIN(next_try_at_ts), user_server_name
|
|
|
|
LIMIT ?
|
|
|
|
"""
|
|
|
|
txn.execute(sql, (now_ts, limit))
|
|
|
|
return [row[0] for row in txn]
|
|
|
|
|
|
|
|
return await self.db_pool.runInteraction(
|
|
|
|
"get_remote_servers_with_profiles_to_refresh",
|
|
|
|
_get_remote_servers_with_refreshable_profiles_txn,
|
|
|
|
)
|
|
|
|
|
|
|
|
async def get_remote_users_to_refresh_on_server(
|
|
|
|
self, server_name: str, now_ts: int, limit: int
|
|
|
|
) -> List[Tuple[str, int, int]]:
|
|
|
|
"""
|
|
|
|
Get a list of up to `limit` user IDs from the server `server_name`
|
|
|
|
whose locally-cached profiles we believe to be stale
|
|
|
|
and are refreshable given the current time `now_ts` in milliseconds.
|
|
|
|
|
|
|
|
Returns:
|
|
|
|
tuple of:
|
|
|
|
- User ID
|
|
|
|
- Retry counter (number of failures so far)
|
|
|
|
- Time the retry is scheduled for, in milliseconds
|
|
|
|
"""
|
|
|
|
|
|
|
|
def _get_remote_users_to_refresh_on_server_txn(
|
|
|
|
txn: LoggingTransaction,
|
|
|
|
) -> List[Tuple[str, int, int]]:
|
|
|
|
sql = """
|
|
|
|
SELECT user_id, retry_counter, next_try_at_ts
|
|
|
|
FROM user_directory_stale_remote_users
|
|
|
|
WHERE user_server_name = ? AND next_try_at_ts < ?
|
|
|
|
ORDER BY next_try_at_ts
|
|
|
|
LIMIT ?
|
|
|
|
"""
|
|
|
|
txn.execute(sql, (server_name, now_ts, limit))
|
|
|
|
return cast(List[Tuple[str, int, int]], txn.fetchall())
|
|
|
|
|
|
|
|
return await self.db_pool.runInteraction(
|
|
|
|
"get_remote_users_to_refresh_on_server",
|
|
|
|
_get_remote_users_to_refresh_on_server_txn,
|
|
|
|
)
|
|
|
|
|
2020-09-01 11:04:17 -04:00
|
|
|
async def update_profile_in_user_dir(
|
2021-08-18 09:22:07 -04:00
|
|
|
self, user_id: str, display_name: Optional[str], avatar_url: Optional[str]
|
2020-09-01 11:04:17 -04:00
|
|
|
) -> None:
|
2019-03-18 13:50:24 -04:00
|
|
|
"""
|
|
|
|
Update or add a user's profile in the user directory.
|
2023-03-16 05:55:19 -04:00
|
|
|
If the user is remote, the profile will be marked as not stale.
|
2017-05-31 10:00:29 -04:00
|
|
|
"""
|
2022-05-18 06:28:14 -04:00
|
|
|
# If the display name or avatar URL are unexpected types, replace with None.
|
|
|
|
display_name = non_null_str_or_none(display_name)
|
|
|
|
avatar_url = non_null_str_or_none(avatar_url)
|
2019-03-07 04:22:53 -05:00
|
|
|
|
2021-09-24 05:38:22 -04:00
|
|
|
def _update_profile_in_user_dir_txn(txn: LoggingTransaction) -> None:
|
2021-07-22 07:39:50 -04:00
|
|
|
self.db_pool.simple_upsert_txn(
|
2017-06-01 10:39:51 -04:00
|
|
|
txn,
|
|
|
|
table="user_directory",
|
|
|
|
keyvalues={"user_id": user_id},
|
2017-06-13 06:11:26 -04:00
|
|
|
values={"display_name": display_name, "avatar_url": avatar_url},
|
2017-06-01 10:39:51 -04:00
|
|
|
)
|
|
|
|
|
2023-03-16 05:55:19 -04:00
|
|
|
if not self.hs.is_mine_id(user_id):
|
|
|
|
# Remote users: Make sure the profile is not marked as stale anymore.
|
|
|
|
self.db_pool.simple_delete_txn(
|
|
|
|
txn,
|
|
|
|
table="user_directory_stale_remote_users",
|
|
|
|
keyvalues={"user_id": user_id},
|
|
|
|
)
|
|
|
|
|
2023-02-24 08:39:45 -05:00
|
|
|
# The display name that goes into the database index.
|
|
|
|
index_display_name = display_name
|
|
|
|
if index_display_name is not None:
|
|
|
|
index_display_name = _filter_text_for_index(index_display_name)
|
|
|
|
|
2017-06-01 10:39:51 -04:00
|
|
|
if isinstance(self.database_engine, PostgresEngine):
|
2017-11-29 13:27:05 -05:00
|
|
|
# We weight the localpart most highly, then display name and finally
|
2017-06-01 10:39:51 -04:00
|
|
|
# server name
|
2021-07-22 07:39:50 -04:00
|
|
|
sql = """
|
2017-06-13 06:11:26 -04:00
|
|
|
INSERT INTO user_directory_search(user_id, vector)
|
|
|
|
VALUES (?,
|
2020-12-17 08:42:30 -05:00
|
|
|
setweight(to_tsvector('simple', ?), 'A')
|
|
|
|
|| setweight(to_tsvector('simple', ?), 'D')
|
|
|
|
|| setweight(to_tsvector('simple', COALESCE(?, '')), 'B')
|
2019-01-24 05:31:54 -05:00
|
|
|
) ON CONFLICT (user_id) DO UPDATE SET vector=EXCLUDED.vector
|
2017-06-13 06:11:26 -04:00
|
|
|
"""
|
2021-07-22 07:39:50 -04:00
|
|
|
txn.execute(
|
|
|
|
sql,
|
|
|
|
(
|
|
|
|
user_id,
|
|
|
|
get_localpart_from_id(user_id),
|
|
|
|
get_domain_from_id(user_id),
|
2023-02-24 08:39:45 -05:00
|
|
|
index_display_name,
|
2021-07-22 07:39:50 -04:00
|
|
|
),
|
|
|
|
)
|
2017-06-01 10:39:51 -04:00
|
|
|
elif isinstance(self.database_engine, Sqlite3Engine):
|
2023-02-24 08:39:45 -05:00
|
|
|
value = (
|
|
|
|
"%s %s" % (user_id, index_display_name)
|
|
|
|
if index_display_name
|
|
|
|
else user_id
|
|
|
|
)
|
2020-08-05 16:38:57 -04:00
|
|
|
self.db_pool.simple_upsert_txn(
|
2017-06-13 06:11:26 -04:00
|
|
|
txn,
|
|
|
|
table="user_directory_search",
|
|
|
|
keyvalues={"user_id": user_id},
|
|
|
|
values={"value": value},
|
2017-06-01 10:39:51 -04:00
|
|
|
)
|
|
|
|
else:
|
|
|
|
# This should be unreachable.
|
|
|
|
raise Exception("Unrecognized database engine")
|
|
|
|
|
|
|
|
txn.call_after(self.get_user_in_directory.invalidate, (user_id,))
|
|
|
|
|
2020-09-01 11:04:17 -04:00
|
|
|
await self.db_pool.runInteraction(
|
2017-06-01 10:39:51 -04:00
|
|
|
"update_profile_in_user_dir", _update_profile_in_user_dir_txn
|
|
|
|
)
|
2017-06-01 09:50:46 -04:00
|
|
|
|
2020-09-01 11:04:17 -04:00
|
|
|
async def add_users_who_share_private_room(
|
|
|
|
self, room_id: str, user_id_tuples: Iterable[Tuple[str, str]]
|
|
|
|
) -> None:
|
2019-03-12 06:47:14 -04:00
|
|
|
"""Insert entries into the users_who_share_private_rooms table. The first
|
2017-06-15 04:59:04 -04:00
|
|
|
user should be a local user.
|
|
|
|
|
|
|
|
Args:
|
2020-09-01 11:04:17 -04:00
|
|
|
room_id
|
|
|
|
user_id_tuples: iterable of 2-tuple of user IDs.
|
2017-06-15 04:59:04 -04:00
|
|
|
"""
|
2019-02-13 07:05:32 -05:00
|
|
|
|
2020-10-14 10:50:59 -04:00
|
|
|
await self.db_pool.simple_upsert_many(
|
|
|
|
table="users_who_share_private_rooms",
|
|
|
|
key_names=["user_id", "other_user_id", "room_id"],
|
|
|
|
key_values=[
|
|
|
|
(user_id, other_user_id, room_id)
|
|
|
|
for user_id, other_user_id in user_id_tuples
|
|
|
|
],
|
|
|
|
value_names=(),
|
2021-09-24 05:38:22 -04:00
|
|
|
value_values=(),
|
2020-10-14 10:50:59 -04:00
|
|
|
desc="add_users_who_share_room",
|
2019-03-12 06:47:14 -04:00
|
|
|
)
|
|
|
|
|
2020-09-01 11:04:17 -04:00
|
|
|
async def add_users_in_public_rooms(
|
|
|
|
self, room_id: str, user_ids: Iterable[str]
|
|
|
|
) -> None:
|
2021-02-22 11:52:45 -05:00
|
|
|
"""Insert entries into the users_in_public_rooms table.
|
2019-03-12 06:47:14 -04:00
|
|
|
|
|
|
|
Args:
|
2020-09-01 11:04:17 -04:00
|
|
|
room_id
|
|
|
|
user_ids
|
2019-03-12 06:47:14 -04:00
|
|
|
"""
|
|
|
|
|
2020-10-14 10:50:59 -04:00
|
|
|
await self.db_pool.simple_upsert_many(
|
|
|
|
table="users_in_public_rooms",
|
|
|
|
key_names=["user_id", "room_id"],
|
|
|
|
key_values=[(user_id, room_id) for user_id in user_ids],
|
|
|
|
value_names=(),
|
2021-09-24 05:38:22 -04:00
|
|
|
value_values=(),
|
2020-10-14 10:50:59 -04:00
|
|
|
desc="add_users_in_public_rooms",
|
2017-06-15 04:59:04 -04:00
|
|
|
)
|
|
|
|
|
2020-09-01 11:04:17 -04:00
|
|
|
async def delete_all_from_user_dir(self) -> None:
|
2019-10-03 13:19:08 -04:00
|
|
|
"""Delete the entire user directory"""
|
|
|
|
|
2021-09-24 05:38:22 -04:00
|
|
|
def _delete_all_from_user_dir_txn(txn: LoggingTransaction) -> None:
|
2019-10-03 13:19:08 -04:00
|
|
|
txn.execute("DELETE FROM user_directory")
|
|
|
|
txn.execute("DELETE FROM user_directory_search")
|
|
|
|
txn.execute("DELETE FROM users_in_public_rooms")
|
|
|
|
txn.execute("DELETE FROM users_who_share_private_rooms")
|
|
|
|
txn.call_after(self.get_user_in_directory.invalidate_all)
|
|
|
|
|
2020-09-01 11:04:17 -04:00
|
|
|
await self.db_pool.runInteraction(
|
2019-10-03 13:19:08 -04:00
|
|
|
"delete_all_from_user_dir", _delete_all_from_user_dir_txn
|
|
|
|
)
|
|
|
|
|
|
|
|
@cached()
|
2023-02-10 18:29:00 -05:00
|
|
|
async def get_user_in_directory(self, user_id: str) -> Optional[Mapping[str, str]]:
|
2020-08-26 07:19:32 -04:00
|
|
|
return await self.db_pool.simple_select_one(
|
2019-10-03 13:19:08 -04:00
|
|
|
table="user_directory",
|
|
|
|
keyvalues={"user_id": user_id},
|
|
|
|
retcols=("display_name", "avatar_url"),
|
|
|
|
allow_none=True,
|
|
|
|
desc="get_user_in_directory",
|
|
|
|
)
|
|
|
|
|
2021-09-30 06:04:40 -04:00
|
|
|
async def update_user_directory_stream_pos(self, stream_id: Optional[int]) -> None:
|
2020-08-27 07:08:38 -04:00
|
|
|
await self.db_pool.simple_update_one(
|
2019-10-03 13:19:08 -04:00
|
|
|
table="user_directory_stream_pos",
|
|
|
|
keyvalues={},
|
|
|
|
updatevalues={"stream_id": stream_id},
|
|
|
|
desc="update_user_directory_stream_pos",
|
|
|
|
)
|
|
|
|
|
|
|
|
|
2022-03-18 09:51:41 -04:00
|
|
|
class SearchResult(TypedDict):
|
|
|
|
limited: bool
|
|
|
|
results: List[UserProfile]
|
|
|
|
|
|
|
|
|
2019-10-03 13:19:08 -04:00
|
|
|
class UserDirectoryStore(UserDirectoryBackgroundUpdateStore):
|
|
|
|
# How many records do we calculate before sending it to
|
|
|
|
# add_users_who_share_private_rooms?
|
|
|
|
SHARE_PRIVATE_WORKING_SET = 500
|
|
|
|
|
2021-09-24 05:38:22 -04:00
|
|
|
def __init__(
|
|
|
|
self,
|
|
|
|
database: DatabasePool,
|
2021-12-13 12:05:00 -05:00
|
|
|
db_conn: LoggingDatabaseConnection,
|
2021-09-24 05:38:22 -04:00
|
|
|
hs: "HomeServer",
|
|
|
|
) -> None:
|
2020-09-18 09:56:44 -04:00
|
|
|
super().__init__(database, db_conn, hs)
|
2019-10-03 13:19:08 -04:00
|
|
|
|
2021-02-19 06:02:03 -05:00
|
|
|
self._prefer_local_users_in_search = (
|
2021-09-24 07:25:21 -04:00
|
|
|
hs.config.userdirectory.user_directory_search_prefer_local_users
|
2021-02-19 06:02:03 -05:00
|
|
|
)
|
2021-09-13 13:07:12 -04:00
|
|
|
self._server_name = hs.config.server.server_name
|
2021-02-19 06:02:03 -05:00
|
|
|
|
2020-09-01 11:04:17 -04:00
|
|
|
async def remove_from_user_dir(self, user_id: str) -> None:
|
2021-09-24 05:38:22 -04:00
|
|
|
def _remove_from_user_dir_txn(txn: LoggingTransaction) -> None:
|
2020-08-05 16:38:57 -04:00
|
|
|
self.db_pool.simple_delete_txn(
|
2019-10-03 13:19:08 -04:00
|
|
|
txn, table="user_directory", keyvalues={"user_id": user_id}
|
|
|
|
)
|
2020-08-05 16:38:57 -04:00
|
|
|
self.db_pool.simple_delete_txn(
|
2019-10-03 13:19:08 -04:00
|
|
|
txn, table="user_directory_search", keyvalues={"user_id": user_id}
|
|
|
|
)
|
2020-08-05 16:38:57 -04:00
|
|
|
self.db_pool.simple_delete_txn(
|
2019-10-03 13:19:08 -04:00
|
|
|
txn, table="users_in_public_rooms", keyvalues={"user_id": user_id}
|
|
|
|
)
|
2020-08-05 16:38:57 -04:00
|
|
|
self.db_pool.simple_delete_txn(
|
2019-10-03 13:19:08 -04:00
|
|
|
txn,
|
|
|
|
table="users_who_share_private_rooms",
|
|
|
|
keyvalues={"user_id": user_id},
|
|
|
|
)
|
2020-08-05 16:38:57 -04:00
|
|
|
self.db_pool.simple_delete_txn(
|
2019-10-03 13:19:08 -04:00
|
|
|
txn,
|
|
|
|
table="users_who_share_private_rooms",
|
|
|
|
keyvalues={"other_user_id": user_id},
|
|
|
|
)
|
|
|
|
txn.call_after(self.get_user_in_directory.invalidate, (user_id,))
|
|
|
|
|
2020-09-01 11:04:17 -04:00
|
|
|
await self.db_pool.runInteraction(
|
2020-08-05 16:38:57 -04:00
|
|
|
"remove_from_user_dir", _remove_from_user_dir_txn
|
|
|
|
)
|
2019-10-03 13:19:08 -04:00
|
|
|
|
2021-09-24 05:38:22 -04:00
|
|
|
async def get_users_in_dir_due_to_room(self, room_id: str) -> Set[str]:
|
2019-10-03 13:19:08 -04:00
|
|
|
"""Get all user_ids that are in the room directory because they're
|
|
|
|
in the given room_id
|
|
|
|
"""
|
2020-08-07 12:17:17 -04:00
|
|
|
user_ids_share_pub = await self.db_pool.simple_select_onecol(
|
2019-10-03 13:19:08 -04:00
|
|
|
table="users_in_public_rooms",
|
|
|
|
keyvalues={"room_id": room_id},
|
|
|
|
retcol="user_id",
|
|
|
|
desc="get_users_in_dir_due_to_room",
|
|
|
|
)
|
|
|
|
|
2020-08-07 12:17:17 -04:00
|
|
|
user_ids_share_priv = await self.db_pool.simple_select_onecol(
|
2019-10-03 13:19:08 -04:00
|
|
|
table="users_who_share_private_rooms",
|
|
|
|
keyvalues={"room_id": room_id},
|
|
|
|
retcol="other_user_id",
|
|
|
|
desc="get_users_in_dir_due_to_room",
|
|
|
|
)
|
|
|
|
|
|
|
|
user_ids = set(user_ids_share_pub)
|
|
|
|
user_ids.update(user_ids_share_priv)
|
|
|
|
|
|
|
|
return user_ids
|
|
|
|
|
2020-09-01 11:04:17 -04:00
|
|
|
async def remove_user_who_share_room(self, user_id: str, room_id: str) -> None:
|
2017-06-15 04:59:04 -04:00
|
|
|
"""
|
2019-03-07 04:22:53 -05:00
|
|
|
Deletes entries in the users_who_share_*_rooms table. The first
|
2017-06-15 04:59:04 -04:00
|
|
|
user should be a local user.
|
|
|
|
|
|
|
|
Args:
|
2020-09-01 11:04:17 -04:00
|
|
|
user_id
|
|
|
|
room_id
|
2017-06-15 04:59:04 -04:00
|
|
|
"""
|
2019-02-13 07:05:32 -05:00
|
|
|
|
2021-09-24 05:38:22 -04:00
|
|
|
def _remove_user_who_share_room_txn(txn: LoggingTransaction) -> None:
|
2020-08-05 16:38:57 -04:00
|
|
|
self.db_pool.simple_delete_txn(
|
2017-06-15 04:59:04 -04:00
|
|
|
txn,
|
2019-03-07 04:22:53 -05:00
|
|
|
table="users_who_share_private_rooms",
|
|
|
|
keyvalues={"user_id": user_id, "room_id": room_id},
|
2017-06-15 04:59:04 -04:00
|
|
|
)
|
2020-08-05 16:38:57 -04:00
|
|
|
self.db_pool.simple_delete_txn(
|
2019-03-07 04:22:53 -05:00
|
|
|
txn,
|
|
|
|
table="users_who_share_private_rooms",
|
|
|
|
keyvalues={"other_user_id": user_id, "room_id": room_id},
|
|
|
|
)
|
2020-08-05 16:38:57 -04:00
|
|
|
self.db_pool.simple_delete_txn(
|
2019-03-07 04:22:53 -05:00
|
|
|
txn,
|
2019-03-12 06:47:14 -04:00
|
|
|
table="users_in_public_rooms",
|
2019-03-07 04:22:53 -05:00
|
|
|
keyvalues={"user_id": user_id, "room_id": room_id},
|
|
|
|
)
|
2019-03-11 06:11:36 -04:00
|
|
|
|
2020-09-01 11:04:17 -04:00
|
|
|
await self.db_pool.runInteraction(
|
2017-06-15 04:59:04 -04:00
|
|
|
"remove_user_who_share_room", _remove_user_who_share_room_txn
|
2017-05-31 06:51:01 -04:00
|
|
|
)
|
|
|
|
|
2021-09-24 05:38:22 -04:00
|
|
|
async def get_user_dir_rooms_user_is_in(self, user_id: str) -> List[str]:
|
2019-03-12 06:47:14 -04:00
|
|
|
"""
|
|
|
|
Returns the rooms that a user is in.
|
2017-06-15 05:15:00 -04:00
|
|
|
|
|
|
|
Args:
|
2022-11-16 10:25:24 -05:00
|
|
|
user_id: Must be a local user
|
2017-06-15 05:15:00 -04:00
|
|
|
|
|
|
|
Returns:
|
2022-11-16 10:25:24 -05:00
|
|
|
List of room IDs
|
2017-06-15 05:15:00 -04:00
|
|
|
"""
|
2020-08-07 12:17:17 -04:00
|
|
|
rows = await self.db_pool.simple_select_onecol(
|
2019-03-07 04:22:53 -05:00
|
|
|
table="users_who_share_private_rooms",
|
|
|
|
keyvalues={"user_id": user_id},
|
2019-03-12 06:47:14 -04:00
|
|
|
retcol="room_id",
|
|
|
|
desc="get_rooms_user_is_in",
|
2019-03-07 04:22:53 -05:00
|
|
|
)
|
|
|
|
|
2020-08-07 12:17:17 -04:00
|
|
|
pub_rows = await self.db_pool.simple_select_onecol(
|
2019-03-12 06:47:14 -04:00
|
|
|
table="users_in_public_rooms",
|
2019-02-13 07:05:32 -05:00
|
|
|
keyvalues={"user_id": user_id},
|
2019-03-12 06:47:14 -04:00
|
|
|
retcol="room_id",
|
|
|
|
desc="get_rooms_user_is_in",
|
2017-06-15 05:15:00 -04:00
|
|
|
)
|
|
|
|
|
2019-03-07 04:22:53 -05:00
|
|
|
users = set(pub_rows)
|
|
|
|
users.update(rows)
|
2019-07-23 09:00:55 -04:00
|
|
|
return list(users)
|
2017-06-15 05:15:00 -04:00
|
|
|
|
2021-02-18 08:44:19 -05:00
|
|
|
async def get_user_directory_stream_pos(self) -> Optional[int]:
|
|
|
|
"""
|
|
|
|
Get the stream ID of the user directory stream.
|
|
|
|
|
|
|
|
Returns:
|
|
|
|
The stream token or None if the initial background update hasn't happened yet.
|
|
|
|
"""
|
2020-08-26 07:19:32 -04:00
|
|
|
return await self.db_pool.simple_select_one_onecol(
|
2017-05-31 06:51:01 -04:00
|
|
|
table="user_directory_stream_pos",
|
|
|
|
keyvalues={},
|
|
|
|
retcol="stream_id",
|
|
|
|
desc="get_user_directory_stream_pos",
|
|
|
|
)
|
|
|
|
|
2021-09-24 05:38:22 -04:00
|
|
|
async def search_user_dir(
|
|
|
|
self, user_id: str, search_term: str, limit: int
|
2022-03-18 09:51:41 -04:00
|
|
|
) -> SearchResult:
|
2017-05-31 10:00:29 -04:00
|
|
|
"""Searches for users in directory
|
|
|
|
|
|
|
|
Returns:
|
|
|
|
dict of the form::
|
|
|
|
|
|
|
|
{
|
|
|
|
"limited": <bool>, # whether there were more results or not
|
|
|
|
"results": [ # Ordered by best match first
|
|
|
|
{
|
|
|
|
"user_id": <user_id>,
|
|
|
|
"display_name": <display_name>,
|
|
|
|
"avatar_url": <avatar_url>
|
|
|
|
}
|
|
|
|
]
|
|
|
|
}
|
|
|
|
"""
|
2017-11-29 11:46:45 -05:00
|
|
|
|
2021-09-24 07:25:21 -04:00
|
|
|
if self.hs.config.userdirectory.user_directory_search_all_users:
|
2019-03-18 13:50:24 -04:00
|
|
|
join_args = (user_id,)
|
|
|
|
where_clause = "user_id != ?"
|
2017-12-04 09:58:39 -05:00
|
|
|
else:
|
2018-01-25 16:20:28 -05:00
|
|
|
join_args = (user_id,)
|
2019-03-12 10:17:51 -04:00
|
|
|
where_clause = """
|
|
|
|
(
|
|
|
|
EXISTS (select 1 from users_in_public_rooms WHERE user_id = t.user_id)
|
|
|
|
OR EXISTS (
|
|
|
|
SELECT 1 FROM users_who_share_private_rooms
|
|
|
|
WHERE user_id = ? AND other_user_id = t.user_id
|
|
|
|
)
|
|
|
|
)
|
|
|
|
"""
|
2017-11-29 11:46:45 -05:00
|
|
|
|
2021-02-19 06:02:03 -05:00
|
|
|
# We allow manipulating the ranking algorithm by injecting statements
|
|
|
|
# based on config options.
|
|
|
|
additional_ordering_statements = []
|
2021-09-24 05:38:22 -04:00
|
|
|
ordering_arguments: Tuple[str, ...] = ()
|
2021-02-19 06:02:03 -05:00
|
|
|
|
2017-05-31 09:00:01 -04:00
|
|
|
if isinstance(self.database_engine, PostgresEngine):
|
2017-06-13 05:16:31 -04:00
|
|
|
full_query, exact_query, prefix_query = _parse_query_postgres(search_term)
|
|
|
|
|
2021-02-19 06:02:03 -05:00
|
|
|
# If enabled, this config option will rank local users higher than those on
|
|
|
|
# remote instances.
|
|
|
|
if self._prefer_local_users_in_search:
|
|
|
|
# This statement checks whether a given user's user ID contains a server name
|
|
|
|
# that matches the local server
|
|
|
|
statement = "* (CASE WHEN user_id LIKE ? THEN 2.0 ELSE 1.0 END)"
|
|
|
|
additional_ordering_statements.append(statement)
|
|
|
|
|
|
|
|
ordering_arguments += ("%:" + self._server_name,)
|
|
|
|
|
2017-05-31 13:17:47 -04:00
|
|
|
# We order by rank and then if they have profile info
|
2017-06-13 05:16:31 -04:00
|
|
|
# The ranking algorithm is hand tweaked for "best" results. Broadly
|
|
|
|
# the idea is we give a higher weight to exact matches.
|
|
|
|
# The array of numbers are the weights for the various part of the
|
|
|
|
# search: (domain, _, display name, localpart)
|
2017-05-31 09:00:01 -04:00
|
|
|
sql = """
|
2018-03-28 06:19:45 -04:00
|
|
|
SELECT d.user_id AS user_id, display_name, avatar_url
|
2019-03-12 10:17:51 -04:00
|
|
|
FROM user_directory_search as t
|
2017-06-15 05:00:28 -04:00
|
|
|
INNER JOIN user_directory AS d USING (user_id)
|
|
|
|
WHERE
|
2021-02-19 06:02:03 -05:00
|
|
|
%(where_clause)s
|
2020-12-17 08:42:30 -05:00
|
|
|
AND vector @@ to_tsquery('simple', ?)
|
2017-05-31 13:17:47 -04:00
|
|
|
ORDER BY
|
2019-03-07 04:22:53 -05:00
|
|
|
(CASE WHEN d.user_id IS NOT NULL THEN 4.0 ELSE 1.0 END)
|
2017-06-15 05:00:28 -04:00
|
|
|
* (CASE WHEN display_name IS NOT NULL THEN 1.2 ELSE 1.0 END)
|
|
|
|
* (CASE WHEN avatar_url IS NOT NULL THEN 1.2 ELSE 1.0 END)
|
|
|
|
* (
|
|
|
|
3 * ts_rank_cd(
|
|
|
|
'{0.1, 0.1, 0.9, 1.0}',
|
|
|
|
vector,
|
2020-12-17 08:42:30 -05:00
|
|
|
to_tsquery('simple', ?),
|
2017-06-15 05:00:28 -04:00
|
|
|
8
|
|
|
|
)
|
|
|
|
+ ts_rank_cd(
|
|
|
|
'{0.1, 0.1, 0.9, 1.0}',
|
|
|
|
vector,
|
2020-12-17 08:42:30 -05:00
|
|
|
to_tsquery('simple', ?),
|
2017-06-15 05:00:28 -04:00
|
|
|
8
|
|
|
|
)
|
2017-06-13 05:16:31 -04:00
|
|
|
)
|
2021-02-19 06:02:03 -05:00
|
|
|
%(order_case_statements)s
|
2017-06-13 05:16:31 -04:00
|
|
|
DESC,
|
2017-05-31 13:17:47 -04:00
|
|
|
display_name IS NULL,
|
|
|
|
avatar_url IS NULL
|
2017-05-31 09:00:01 -04:00
|
|
|
LIMIT ?
|
2021-02-19 06:02:03 -05:00
|
|
|
""" % {
|
|
|
|
"where_clause": where_clause,
|
|
|
|
"order_case_statements": " ".join(additional_ordering_statements),
|
|
|
|
}
|
|
|
|
args = (
|
|
|
|
join_args
|
|
|
|
+ (full_query, exact_query, prefix_query)
|
|
|
|
+ ordering_arguments
|
|
|
|
+ (limit + 1,)
|
2019-02-13 07:05:32 -05:00
|
|
|
)
|
2017-05-31 09:00:01 -04:00
|
|
|
elif isinstance(self.database_engine, Sqlite3Engine):
|
2017-06-13 05:16:31 -04:00
|
|
|
search_query = _parse_query_sqlite(search_term)
|
|
|
|
|
2021-02-19 06:02:03 -05:00
|
|
|
# If enabled, this config option will rank local users higher than those on
|
|
|
|
# remote instances.
|
|
|
|
if self._prefer_local_users_in_search:
|
|
|
|
# This statement checks whether a given user's user ID contains a server name
|
|
|
|
# that matches the local server
|
|
|
|
#
|
|
|
|
# Note that we need to include a comma at the end for valid SQL
|
|
|
|
statement = "user_id LIKE ? DESC,"
|
|
|
|
additional_ordering_statements.append(statement)
|
|
|
|
|
|
|
|
ordering_arguments += ("%:" + self._server_name,)
|
|
|
|
|
2017-05-31 09:00:01 -04:00
|
|
|
sql = """
|
2018-03-28 06:19:45 -04:00
|
|
|
SELECT d.user_id AS user_id, display_name, avatar_url
|
2019-03-12 10:17:51 -04:00
|
|
|
FROM user_directory_search as t
|
2017-06-15 05:00:28 -04:00
|
|
|
INNER JOIN user_directory AS d USING (user_id)
|
|
|
|
WHERE
|
2021-02-19 06:02:03 -05:00
|
|
|
%(where_clause)s
|
2017-06-15 05:00:28 -04:00
|
|
|
AND value MATCH ?
|
2017-05-31 13:17:47 -04:00
|
|
|
ORDER BY
|
2017-06-01 09:58:48 -04:00
|
|
|
rank(matchinfo(user_directory_search)) DESC,
|
2021-02-19 06:02:03 -05:00
|
|
|
%(order_statements)s
|
2017-05-31 13:17:47 -04:00
|
|
|
display_name IS NULL,
|
|
|
|
avatar_url IS NULL
|
2017-05-31 09:00:01 -04:00
|
|
|
LIMIT ?
|
2021-02-19 06:02:03 -05:00
|
|
|
""" % {
|
|
|
|
"where_clause": where_clause,
|
|
|
|
"order_statements": " ".join(additional_ordering_statements),
|
|
|
|
}
|
|
|
|
args = join_args + (search_query,) + ordering_arguments + (limit + 1,)
|
2017-05-31 09:00:01 -04:00
|
|
|
else:
|
|
|
|
# This should be unreachable.
|
|
|
|
raise Exception("Unrecognized database engine")
|
|
|
|
|
2022-03-18 09:51:41 -04:00
|
|
|
results = cast(
|
|
|
|
List[UserProfile],
|
|
|
|
await self.db_pool.execute(
|
|
|
|
"search_user_dir", self.db_pool.cursor_to_dict, sql, *args
|
|
|
|
),
|
2019-12-04 08:52:46 -05:00
|
|
|
)
|
2017-05-31 09:00:01 -04:00
|
|
|
|
|
|
|
limited = len(results) > limit
|
|
|
|
|
2022-12-07 06:19:43 -05:00
|
|
|
return {"limited": limited, "results": results[0:limit]}
|
2017-05-31 13:07:12 -04:00
|
|
|
|
|
|
|
|
2023-02-24 08:39:45 -05:00
|
|
|
def _filter_text_for_index(text: str) -> str:
|
|
|
|
"""Transforms text before it is inserted into the user directory index, or searched
|
|
|
|
for in the user directory index.
|
|
|
|
|
|
|
|
Note that the user directory search table needs to be rebuilt whenever this function
|
|
|
|
changes.
|
|
|
|
"""
|
|
|
|
# Lowercase the text, to make searches case-insensitive.
|
|
|
|
# This is necessary for both PostgreSQL and SQLite. PostgreSQL's
|
|
|
|
# `to_tsquery/to_tsvector` functions don't lowercase non-ASCII characters when using
|
|
|
|
# the "C" collation, while SQLite just doesn't lowercase non-ASCII characters at
|
|
|
|
# all.
|
|
|
|
text = text.lower()
|
|
|
|
|
|
|
|
# Normalize the text. NFKC normalization has two effects:
|
|
|
|
# 1. It canonicalizes the text, ie. maps all visually identical strings to the same
|
|
|
|
# string. For example, ["e", "◌́"] is mapped to ["é"].
|
|
|
|
# 2. It maps strings that are roughly equivalent to the same string.
|
|
|
|
# For example, ["dž"] is mapped to ["d", "ž"], ["①"] to ["1"] and ["i⁹"] to
|
|
|
|
# ["i", "9"].
|
|
|
|
text = unicodedata.normalize("NFKC", text)
|
|
|
|
|
|
|
|
# Note that nothing is done to make searches accent-insensitive.
|
|
|
|
# That could be achieved by converting to NFKD form instead (with combining accents
|
|
|
|
# split out) and filtering out combining accents using `unicodedata.combining(c)`.
|
|
|
|
# The downside of this may be noisier search results, since search terms with
|
|
|
|
# explicit accents will match characters with no accents, or completely different
|
|
|
|
# accents.
|
|
|
|
#
|
|
|
|
# text = unicodedata.normalize("NFKD", text)
|
|
|
|
# text = "".join([c for c in text if not unicodedata.combining(c)])
|
|
|
|
|
|
|
|
return text
|
|
|
|
|
|
|
|
|
2021-09-24 05:38:22 -04:00
|
|
|
def _parse_query_sqlite(search_term: str) -> str:
|
2017-05-31 13:07:12 -04:00
|
|
|
"""Takes a plain unicode string from the user and converts it into a form
|
|
|
|
that can be passed to database.
|
|
|
|
We use this so that we can add prefix matching, which isn't something
|
|
|
|
that is supported by default.
|
|
|
|
|
|
|
|
We specifically add both a prefix and non prefix matching term so that
|
|
|
|
exact matches get ranked higher.
|
|
|
|
"""
|
2023-02-24 08:39:45 -05:00
|
|
|
search_term = _filter_text_for_index(search_term)
|
2017-05-31 13:07:12 -04:00
|
|
|
|
|
|
|
# Pull out the individual words, discarding any non-word characters.
|
2022-12-12 07:21:17 -05:00
|
|
|
results = _parse_words(search_term)
|
2019-02-13 07:05:32 -05:00
|
|
|
return " & ".join("(%s* OR %s)" % (result, result) for result in results)
|
2017-06-13 05:16:31 -04:00
|
|
|
|
|
|
|
|
2021-09-24 05:38:22 -04:00
|
|
|
def _parse_query_postgres(search_term: str) -> Tuple[str, str, str]:
|
2017-06-13 05:16:31 -04:00
|
|
|
"""Takes a plain unicode string from the user and converts it into a form
|
|
|
|
that can be passed to database.
|
|
|
|
We use this so that we can add prefix matching, which isn't something
|
|
|
|
that is supported by default.
|
|
|
|
"""
|
2023-02-24 08:39:45 -05:00
|
|
|
search_term = _filter_text_for_index(search_term)
|
|
|
|
|
2023-02-20 07:00:18 -05:00
|
|
|
escaped_words = []
|
|
|
|
for word in _parse_words(search_term):
|
|
|
|
# Postgres tsvector and tsquery quoting rules:
|
|
|
|
# words potentially containing punctuation should be quoted
|
|
|
|
# and then existing quotes and backslashes should be doubled
|
|
|
|
# See: https://www.postgresql.org/docs/current/datatype-textsearch.html#DATATYPE-TSQUERY
|
|
|
|
|
|
|
|
quoted_word = word.replace("'", "''").replace("\\", "\\\\")
|
|
|
|
escaped_words.append(f"'{quoted_word}'")
|
2017-06-13 05:16:31 -04:00
|
|
|
|
2023-02-20 07:00:18 -05:00
|
|
|
both = " & ".join("(%s:* | %s)" % (word, word) for word in escaped_words)
|
|
|
|
exact = " & ".join("%s" % (word,) for word in escaped_words)
|
|
|
|
prefix = " & ".join("%s:*" % (word,) for word in escaped_words)
|
2017-05-31 13:07:12 -04:00
|
|
|
|
2017-06-13 05:16:31 -04:00
|
|
|
return both, exact, prefix
|
2022-12-12 07:21:17 -05:00
|
|
|
|
|
|
|
|
|
|
|
def _parse_words(search_term: str) -> List[str]:
|
|
|
|
"""Split the provided search string into a list of its words.
|
|
|
|
|
|
|
|
If support for ICU (International Components for Unicode) is available, use it.
|
|
|
|
Otherwise, fall back to using a regex to detect word boundaries. This latter
|
|
|
|
solution works well enough for most latin-based languages, but doesn't work as well
|
|
|
|
with other languages.
|
|
|
|
|
|
|
|
Args:
|
|
|
|
search_term: The search string.
|
|
|
|
|
|
|
|
Returns:
|
|
|
|
A list of the words in the search string.
|
|
|
|
"""
|
|
|
|
if USE_ICU:
|
|
|
|
return _parse_words_with_icu(search_term)
|
|
|
|
|
2023-02-20 07:00:18 -05:00
|
|
|
return _parse_words_with_regex(search_term)
|
|
|
|
|
|
|
|
|
|
|
|
def _parse_words_with_regex(search_term: str) -> List[str]:
|
|
|
|
"""
|
|
|
|
Break down search term into words, when we don't have ICU available.
|
|
|
|
See: `_parse_words`
|
|
|
|
"""
|
2022-12-12 07:21:17 -05:00
|
|
|
return re.findall(r"([\w\-]+)", search_term, re.UNICODE)
|
|
|
|
|
|
|
|
|
|
|
|
def _parse_words_with_icu(search_term: str) -> List[str]:
|
|
|
|
"""Break down the provided search string into its individual words using ICU
|
|
|
|
(International Components for Unicode).
|
|
|
|
|
|
|
|
Args:
|
|
|
|
search_term: The search string.
|
|
|
|
|
|
|
|
Returns:
|
|
|
|
A list of the words in the search string.
|
|
|
|
"""
|
|
|
|
results = []
|
|
|
|
breaker = icu.BreakIterator.createWordInstance(icu.Locale.getDefault())
|
|
|
|
breaker.setText(search_term)
|
|
|
|
i = 0
|
|
|
|
while True:
|
|
|
|
j = breaker.nextBoundary()
|
|
|
|
if j < 0:
|
|
|
|
break
|
|
|
|
|
|
|
|
result = search_term[i:j]
|
|
|
|
|
|
|
|
# libicu considers spaces and punctuation between words as words, but we don't
|
|
|
|
# want to include those in results as they would result in syntax errors in SQL
|
|
|
|
# queries (e.g. "foo bar" would result in the search query including "foo & &
|
|
|
|
# bar").
|
|
|
|
if len(re.findall(r"([\w\-]+)", result, re.UNICODE)):
|
|
|
|
results.append(result)
|
|
|
|
|
|
|
|
i = j
|
|
|
|
|
|
|
|
return results
|