Don't push users who have left

pull/2234/head
Erik Johnston 2017-05-18 17:48:36 +01:00
parent 107ac7ac96
commit 72ed8196b3
1 changed files with 4 additions and 1 deletions

View File

@ -299,7 +299,10 @@ class RulesForRoom(object):
for row in rows for row in rows
} }
interested_in_user_ids = set(user_id for user_id, _ in members.itervalues()) interested_in_user_ids = set(
user_id for user_id, membership in members.itervalues()
if membership == Membership.JOIN
)
if_users_with_pushers = yield self.store.get_if_users_have_pushers( if_users_with_pushers = yield self.store.get_if_users_have_pushers(
interested_in_user_ids, interested_in_user_ids,