From e3f510e8962e9ca67bfd08e012f0da004de5986a Mon Sep 17 00:00:00 2001 From: Ricardo Date: Fri, 7 May 2021 10:48:55 -0300 Subject: [PATCH] redis client: adding __del__ and close (#5365) * redis client: adding __del__ and close --- stubs/redis/redis/client.pyi | 2 ++ 1 file changed, 2 insertions(+) diff --git a/stubs/redis/redis/client.pyi b/stubs/redis/redis/client.pyi index 61d78dea3..a314aebd4 100644 --- a/stubs/redis/redis/client.pyi +++ b/stubs/redis/redis/client.pyi @@ -778,6 +778,8 @@ class Redis(Generic[_StrType]): def cluster(self, cluster_arg: str, *args: Any) -> Any: ... def __enter__(self) -> Redis: ... def __exit__(self, exc_type, exc_value, traceback): ... + def __del__(self) -> None: ... + def close(self) -> None: ... def client(self) -> Redis: ... StrictRedis = Redis