diff options
| author | David Robertson <davidr@element.io> | 2021-10-11 17:42:10 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-11 17:42:10 +0100 |
| commit | e0f11ae4a5688a0521f20f36e440c87cfccfd69a (patch) | |
| tree | 8b10d1d2c36fae9d12adba20e544164206c9adcc /synapse/push/httppusher.py | |
| parent | Include the requirements for [mypy,lint] in [dev] (#11034) (diff) | |
| download | synapse-e0f11ae4a5688a0521f20f36e440c87cfccfd69a.tar.xz | |
disallow-untyped-defs for synapse.push (#11023)
Diffstat (limited to 'synapse/push/httppusher.py')
| -rw-r--r-- | synapse/push/httppusher.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/synapse/push/httppusher.py b/synapse/push/httppusher.py index eac65572b2..dbf4ad7f97 100644 --- a/synapse/push/httppusher.py +++ b/synapse/push/httppusher.py @@ -403,10 +403,10 @@ class HttpPusher(Pusher): rejected = resp["rejected"] return rejected - async def _send_badge(self, badge): + async def _send_badge(self, badge: int) -> None: """ Args: - badge (int): number of unread messages + badge: number of unread messages """ logger.debug("Sending updated badge count %d to %s", badge, self.name) d = { |