paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-02 04:53:36 +00:00
Code Issues Packages Projects Releases Wiki Activity

mypy: Accept integer user IDs in handle_deferred_message.

Browse Source
This commit is contained in:
Eeshan Garg
2018-09-19 18:42:03 -02:30
parent 82ace8ccc8
commit 060de48800
2 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
zerver/lib/actions.py
View File

@@ -1971,7 +1971,8 @@ def check_send_message(sender: UserProfile, client: Client, message_type_name: s
return do_send_messages([message])[0]
def check_schedule_message(sender: UserProfile, client: Client,
message_type_name: str, message_to: Sequence[str],
message_type_name: str,
message_to: Union[Sequence[str], Sequence[int]],
topic_name: Optional[str], message_content: str,
delivery_type: str, deliver_at: datetime.datetime,
realm: Optional[Realm]=None,

3
zerver/views/messages.py
View File

@@ -1166,7 +1166,8 @@ def same_realm_jabber_user(user_profile: UserProfile, email: str) -> bool:
return RealmDomain.objects.filter(realm=user_profile.realm, domain=domain).exists()
def handle_deferred_message(sender: UserProfile, client: Client,
message_type_name: str, message_to: Sequence[str],
message_type_name: str,
message_to: Union[Sequence[str], Sequence[int]],
topic_name: Optional[str],
message_content: str, delivery_type: str,
defer_until: str, tz_guess: str,