From 784829645c4262306cdaf09b0bae9e4748af5bb5 Mon Sep 17 00:00:00 2001
From: lovetox <philipp@hoerist.com>
Date: Mon, 26 Oct 2020 23:08:34 +0100
Subject: [PATCH] Ping: Fix mypy error
---
gajim/common/modules/ping.py | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/gajim/common/modules/ping.py b/gajim/common/modules/ping.py
index 02849d92ba..0c0c3ff63e 100644
--- a/gajim/common/modules/ping.py
+++ b/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):
--
GitLab