From 72884513291677bcfdb2ecfde01468a1fd6eeac8 Mon Sep 17 00:00:00 2001 From: "neiljp (Neil Pilgrim)" Date: Mon, 30 Oct 2017 21:04:32 -0700 Subject: [PATCH] mypy: Slightly clarify Callable parameter to WebsocketClient.__init__. --- zerver/tornado/websocket_client.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/zerver/tornado/websocket_client.py b/zerver/tornado/websocket_client.py index b45fb69248..15a85a4ee8 100644 --- a/zerver/tornado/websocket_client.py +++ b/zerver/tornado/websocket_client.py @@ -24,7 +24,8 @@ from typing import Any, Callable, Dict, Generator, Iterable, Optional class WebsocketClient(object): def __init__(self, host_url, sockjs_url, sender_email, run_on_start, validate_ssl=True, **run_kwargs): - # type: (str, str, str, Callable, bool, **Any) -> None + # NOTE: Callable should take a WebsocketClient & kwargs, but this is not standardised + # type: (str, str, str, Callable[..., None], bool, **Any) -> None self.validate_ssl = validate_ssl self.auth_email = sender_email self.user_profile = get_system_bot(sender_email)