Philipp Hörist pushed to branch master at gajim / gajim
Commits:
78482964 by lovetox at 2020-10-26T23:08:34+01:00
Ping: Fix mypy error
- - - - -
1 changed file:
- gajim/common/modules/ping.py
Changes:
=====================================
gajim/common/modules/ping.py
=====================================
@@ -16,6 +16,7 @@
from typing import Any
from typing import Tuple
+from typing import Generator
import time
@@ -42,7 +43,7 @@ def __init__(self, con: ConnectionT) -> None:
self.handlers = []
@as_task
- def send_ping(self, contact: ContactsT) -> None:
+ def send_ping(self, contact: ContactsT) -> Generator:
_task = yield
if not app.account_is_available(self._account):
View it on GitLab:
https://dev.gajim.org/gajim/gajim/-/commit/784829645c4262306cdaf09b0bae9e4748af5bb5
--
View it on GitLab:
https://dev.gajim.org/gajim/gajim/-/commit/784829645c4262306cdaf09b0bae9e4748af5bb5
You're receiving this email because of your account on dev.gajim.org.
_______________________________________________
Commits mailing list
[email protected]
https://lists.gajim.org/cgi-bin/listinfo/commits
