diff options
-rw-r--r-- | rpkid/rpki/https.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/rpkid/rpki/https.py b/rpkid/rpki/https.py index b4c9087c..45f2a213 100644 --- a/rpkid/rpki/https.py +++ b/rpkid/rpki/https.py @@ -428,6 +428,12 @@ class http_client(http_stream): if self.get_terminator() is None: self.handle_body() + def handle_timeout(self): + if self.state != "idle": + self.log("Timeout while in state %s" % self.state) + http_stream.handle_timeout(self) + self.queue.closing(self) + class http_queue(object): log = logger |