mirror of
https://mau.dev/maunium/synapse.git
synced 2024-06-09 06:08:56 +02:00
a1ff1e967f
This is done by creating a custom `RedisFactory` subclass that periodically pings all connections in its pool. We also ensure that the `replyTimeout` param is non-null, so that we timeout waiting for the reply to those pings (and thus triggering a reconnect).
66 lines
2 KiB
Python
66 lines
2 KiB
Python
# -*- coding: utf-8 -*-
|
|
# Copyright 2020 The Matrix.org Foundation C.I.C.
|
|
#
|
|
# Licensed under the Apache License, Version 2.0 (the "License");
|
|
# you may not use this file except in compliance with the License.
|
|
# You may obtain a copy of the License at
|
|
#
|
|
# http://www.apache.org/licenses/LICENSE-2.0
|
|
#
|
|
# Unless required by applicable law or agreed to in writing, software
|
|
# distributed under the License is distributed on an "AS IS" BASIS,
|
|
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
# See the License for the specific language governing permissions and
|
|
# limitations under the License.
|
|
|
|
"""Contains *incomplete* type hints for txredisapi.
|
|
"""
|
|
from typing import List, Optional, Type, Union
|
|
|
|
class RedisProtocol:
|
|
def publish(self, channel: str, message: bytes): ...
|
|
async def ping(self) -> None: ...
|
|
|
|
class SubscriberProtocol(RedisProtocol):
|
|
def __init__(self, *args, **kwargs): ...
|
|
password: Optional[str]
|
|
def subscribe(self, channels: Union[str, List[str]]): ...
|
|
def connectionMade(self): ...
|
|
def connectionLost(self, reason): ...
|
|
|
|
def lazyConnection(
|
|
host: str = ...,
|
|
port: int = ...,
|
|
dbid: Optional[int] = ...,
|
|
reconnect: bool = ...,
|
|
charset: str = ...,
|
|
password: Optional[str] = ...,
|
|
connectTimeout: Optional[int] = ...,
|
|
replyTimeout: Optional[int] = ...,
|
|
convertNumbers: bool = ...,
|
|
) -> RedisProtocol: ...
|
|
|
|
class ConnectionHandler: ...
|
|
|
|
class RedisFactory:
|
|
continueTrying: bool
|
|
handler: RedisProtocol
|
|
pool: List[RedisProtocol]
|
|
replyTimeout: Optional[int]
|
|
def __init__(
|
|
self,
|
|
uuid: str,
|
|
dbid: Optional[int],
|
|
poolsize: int,
|
|
isLazy: bool = False,
|
|
handler: Type = ConnectionHandler,
|
|
charset: str = "utf-8",
|
|
password: Optional[str] = None,
|
|
replyTimeout: Optional[int] = None,
|
|
convertNumbers: Optional[int] = True,
|
|
): ...
|
|
def buildProtocol(self, addr) -> RedisProtocol: ...
|
|
|
|
class SubscriberFactory(RedisFactory):
|
|
def __init__(self): ...
|