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

mypy: Amend tos_version parameter of create_user_profile to be Optional. 

tos_version is marked as Optional[Text] in UserProfile & is Optional
in other places within zerver/lib/create_user.py
This commit is contained in:
neiljp (Neil Pilgrim) 2017-10-06 20:36:58 -07:00 committed by Greg Price
parent 560425929e
commit d01dcbd018
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
zerver/lib/create_user.py
View File

@ -24,7 +24,7 @@ def random_api_key() -> Text:
def create_user_profile(realm: Realm, email: Text, password: Optional[Text], def create_user_profile(realm: Realm, email: Text, password: Optional[Text],
active: bool, bot_type: Optional[int], full_name: Text, active: bool, bot_type: Optional[int], full_name: Text,
short_name: Text, bot_owner: Optional[UserProfile], short_name: Text, bot_owner: Optional[UserProfile],
is_mirror_dummy: bool, tos_version: Text, is_mirror_dummy: bool, tos_version: Optional[Text],
timezone: Optional[Text], timezone: Optional[Text],
tutorial_status: Optional[Text] = UserProfile.TUTORIAL_WAITING, tutorial_status: Optional[Text] = UserProfile.TUTORIAL_WAITING,
enter_sends: bool = False) -> UserProfile: enter_sends: bool = False) -> UserProfile: