From 060de488008e397f7f41a1de83b3a2ad42c681d1 Mon Sep 17 00:00:00 2001 From: Eeshan Garg Date: Wed, 19 Sep 2018 18:42:03 -0230 Subject: [PATCH] mypy: Accept integer user IDs in handle_deferred_message. --- zerver/lib/actions.py | 3 ++- zerver/views/messages.py | 3 ++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/zerver/lib/actions.py b/zerver/lib/actions.py index a63ad5af47..6fcc82fb80 100644 --- a/zerver/lib/actions.py +++ b/zerver/lib/actions.py @@ -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, diff --git a/zerver/views/messages.py b/zerver/views/messages.py index a9a6502952..d65b32c846 100644 --- a/zerver/views/messages.py +++ b/zerver/views/messages.py @@ -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,