Browse Source

fix: don't apply push rules for users of other homeservers

merge-requests/97/head
Timo Kösters 5 years ago
parent
commit
e1e529d818
No known key found for this signature in database
GPG Key ID: 24DA7517711A2BA4
  1. 3
      src/database/rooms.rs

3
src/database/rooms.rs

@ -725,8 +725,9 @@ impl Rooms {
.users .users
.iter() .iter()
.filter_map(|r| r.ok()) .filter_map(|r| r.ok())
.filter(|user_id| self.is_joined(&user_id, &pdu.room_id).unwrap_or(false)) .filter(|user_id| user_id.server_name() == db.globals.server_name())
.filter(|user_id| !db.users.is_deactivated(user_id).unwrap_or(false)) .filter(|user_id| !db.users.is_deactivated(user_id).unwrap_or(false))
.filter(|user_id| self.is_joined(&user_id, &pdu.room_id).unwrap_or(false))
{ {
// Don't notify the user of their own events // Don't notify the user of their own events
if user == pdu.sender { if user == pdu.sender {

Loading…
Cancel
Save