Fix joined_rooms/joined_room_ids usage (#17208)

This change was introduced in
https://github.com/element-hq/synapse/pull/17203

But then https://github.com/element-hq/synapse/pull/17207 was reverted
which brought back usage `joined_rooms` that needed to be updated.
Wasn't caught because `develop` wasn't up to date before merging.
This commit is contained in:
Eric Eastwood 2024-05-16 12:27:38 -05:00 committed by GitHub
parent 52a649580f
commit fe07995e69
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 2 additions and 1 deletions

1
changelog.d/17208.misc Normal file
View file

@ -0,0 +1 @@
Rename to be obvious: `joined_rooms` -> `joined_room_ids`.

View file

@ -1875,7 +1875,7 @@ class SyncHandler:
# or if the changed user is the syncing user (as we always
# want to include device list updates of their own devices).
if user_id == changed_user_id or any(
rid in joined_rooms for rid in entries
rid in joined_room_ids for rid in entries
):
users_that_have_changed.add(changed_user_id)
else: