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

server_initialization: Remove unnecessary type annotation.

Browse Source
This commit is contained in:
Mateusz Mandera
2020-01-28 14:39:19 +01:00
parent e2ccbe7c80
commit e6cf30fc22
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
zerver/lib/server_initialization.py
View File

@@ -5,7 +5,7 @@ from zerver.lib.bulk_create import bulk_create_users
from zerver.models import Realm, UserProfile, email_to_username, get_client, \ from zerver.models import Realm, UserProfile, email_to_username, get_client, \
get_system_bot get_system_bot
from typing import Iterable, Optional, Set, Tuple from typing import Iterable, Optional, Tuple
def create_internal_realm() -> None: def create_internal_realm() -> None:
internal_realm = Realm.objects.create(string_id=settings.SYSTEM_BOT_REALM) internal_realm = Realm.objects.create(string_id=settings.SYSTEM_BOT_REALM)
@@ -26,7 +26,7 @@ def create_users(realm: Realm, name_list: Iterable[Tuple[str, str]],
tos_version: Optional[str]=None, tos_version: Optional[str]=None,
bot_type: Optional[int]=None, bot_type: Optional[int]=None,
bot_owner: Optional[UserProfile]=None) -> None: bot_owner: Optional[UserProfile]=None) -> None:
user_set = set() # type: Set[Tuple[str, str, str, bool]] user_set = set()
for full_name, email in name_list: for full_name, email in name_list:
short_name = email_to_username(email) short_name = email_to_username(email)
user_set.add((email, full_name, short_name, True)) user_set.add((email, full_name, short_name, True))