diff options
author | David Robertson <davidr@element.io> | 2021-09-21 13:02:34 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-21 12:02:34 +0000 |
commit | 60453315bdbbbd364f13ca386de965e015f1062f (patch) | |
tree | 38af0bba78ab1be826d9b32c29d0fffc4ad8d924 /docs/metrics-howto.md | |
parent | Allow sending a membership event to unban a user (#10807) (diff) | |
download | synapse-60453315bdbbbd364f13ca386de965e015f1062f.tar.xz |
Always add local users to the user directory (#10796)
It's a simplification, but one that'll help make the user directory logic easier to follow with the other changes upcoming. It's not strictly required for those changes, but this will help simplify the resulting logic that listens for `m.room.member` events and generally make the logic easier to follow. This means the config option `search_all_users` ends up controlling the search query only, and not the data we store. The cost of doing so is an extra row in the `user_directory` and `user_directory_search` tables for each local user which - belongs to no public rooms - belongs to no private rooms of size ≥ 2 I think the cost of this will be marginal (since they'll already have entries in `users` and `profiles` anyway). As a small upside, a homeserver whose directory was built with this change can toggle `search_all_users` without having to rebuild their directory. Co-authored-by: Richard van der Hoff <1389908+richvdh@users.noreply.github.com>
Diffstat (limited to 'docs/metrics-howto.md')
0 files changed, 0 insertions, 0 deletions