Mirror
/
zulip
mirror of https://github.com/zulip/zulip.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Remove unused get_other_subscriber_ids.

This commit is contained in:
Tim Abbott 2016-07-26 19:01:27 -07:00
parent eb11e02309
commit 1771b8275c
1 changed files with 0 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
zerver/lib/actions.py
View File

@ -1203,11 +1203,6 @@ def get_subscriber_ids(stream):
ids = [row['user_profile_id'] for row in rows] ids = [row['user_profile_id'] for row in rows]
return ids return ids
def get_other_subscriber_ids(stream, user_profile_id):
# type: (Stream, int) -> List[int]
ids = get_subscriber_ids(stream)
return [id for id in ids if id != user_profile_id]
def maybe_get_subscriber_emails(stream): def maybe_get_subscriber_emails(stream):
# type: (Stream) -> List[text_type] # type: (Stream) -> List[text_type]
""" Alternate version of get_subscriber_emails that takes a Stream object only """ Alternate version of get_subscriber_emails that takes a Stream object only