paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-09 00:18:12 +00:00
Code Issues Packages Projects Releases Wiki Activity

push: Rename received_pm to private_message.

Browse Source 
This is a clearer name for this now more broadly used interface.
This commit is contained in:
Tim Abbott
2017-09-14 05:30:16 -07:00
parent 97571a203d
commit 5722237f59
4 changed files with 22 additions and 22 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
zerver/lib/actions.py
View File

@@ -3332,8 +3332,8 @@ def get_userids_for_missed_messages(realm, sender_id, message_type, active_user_
for user_id in active_user_ids:
flags = user_flags.get(user_id, []) # type: Iterable[str]
mentioned = 'mentioned' in flags
received_pm = is_pm and user_id != sender_id
if mentioned or received_pm:
private_message = is_pm and user_id != sender_id
if mentioned or private_message:
user_ids.add(user_id)
if not user_ids: