From caca02b0960b87603497eb5074361c71733b5762 Mon Sep 17 00:00:00 2001 From: rikhilraithatha Date: Tue, 7 Jan 2020 16:20:43 +0000 Subject: [PATCH] redis: add ping to PubSub (#3583) --- third_party/2and3/redis/client.pyi | 1 + 1 file changed, 1 insertion(+) diff --git a/third_party/2and3/redis/client.pyi b/third_party/2and3/redis/client.pyi index eee635ed3..e961336bb 100644 --- a/third_party/2and3/redis/client.pyi +++ b/third_party/2and3/redis/client.pyi @@ -317,6 +317,7 @@ class PubSub: def get_message(self, ignore_subscribe_messages: bool = ..., timeout: float = ...) -> Optional[Dict[str, Any]]: ... def handle_message(self, response, ignore_subscribe_messages: bool = ...) -> Optional[Dict[str, Any]]: ... def run_in_thread(self, sleep_time=...): ... + def ping(self, message: Optional[_Str] = ...) -> None: ... class BasePipeline: UNWATCH_COMMANDS: Any