paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-14 10:57:58 +00:00
Code Issues Packages Projects Releases Wiki Activity

message_edit: Reuse delete_event_notify_user_ids.

Browse Source 
This better describes semantically what we have in mind here -- every
user should get one of the two events.
This commit is contained in:
Tim Abbott
2020-07-01 14:50:24 -07:00
parent 3f42d15168
commit bda7116f86
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
zerver/lib/actions.py
View File

@@ -4661,8 +4661,8 @@ def do_update_message(user_profile: UserProfile, message: Message,
subscribers = subscribers.exclude(user_profile_id__in=[um.user_profile_id for um in ums]) subscribers = subscribers.exclude(user_profile_id__in=[um.user_profile_id for um in ums])
if new_stream is not None: if new_stream is not None:
assert subs_losing_access is not None assert delete_event_notify_user_ids is not None
subscribers = subscribers.exclude(user_profile_id__in=[sub.user_profile_id for sub in subs_losing_access]) subscribers = subscribers.exclude(user_profile_id__in=delete_event_notify_user_ids)
# All users that are subscribed to the stream must be notified when a message is edited # All users that are subscribed to the stream must be notified when a message is edited
subscribers_ids = [user.user_profile_id for user in subscribers] subscribers_ids = [user.user_profile_id for user in subscribers]