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

gather_subscriptions_helper: Fix mypy error.

This commit is contained in:
Tim Abbott 2016-10-22 22:10:06 -07:00
parent c59cdbb92d
commit e714ddbfc8
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
zerver/lib/actions.py
View File

@ -2,7 +2,7 @@ from __future__ import absolute_import
from __future__ import print_function
from typing import (
AbstractSet, Any, AnyStr, Callable, Dict, Iterable, Mapping, MutableMapping,
Optional, Sequence, Tuple, TypeVar, Union
Optional, Sequence, Set, Tuple, TypeVar, Union
)
from django.utils.translation import ugettext as _
@ -2741,7 +2741,7 @@ def gather_subscriptions_helper(user_profile):
all_streams_id_set = set(all_streams_id)
# Listing public streams are disabled for Zephyr mirroring realms.
if user_profile.realm.is_zephyr_mirror_realm:
never_subscribed_stream_ids = []
never_subscribed_stream_ids = set() # type: Set[int]
else:
never_subscribed_stream_ids = all_streams_id_set - sub_unsub_stream_ids
never_subscribed_streams = [ns_stream_dict for ns_stream_dict in all_streams