Leave a connection more politely.

diff --git a/irkerd b/irkerd
index b6043da2429c4938f5e94faa8e7b8523e622eafb..36cd9b1d65caa217e0ecab63b30ddd85e32afe56 100755 (executable)
--- a/irkerd
+++ b/irkerd
@@ -200,6 +200,7 @@ class Connection:
                        or now > self.last_ping + PING_TTL:
                     self.irker.debug(1, "timing out inactive connection to %s at %s" % (self.servername, time.asctime()))
                     self.connection.context = None
+                    self.connection.quit("transmission timeout")
                     self.connection.close()
                     self.connection = None
                     self.status = "disconnected"