Another try at stomping the disconnect bug.
authorEric S. Raymond <esr@thyrsus.com>
Sun, 7 Oct 2012 23:24:38 +0000 (19:24 -0400)
committerEric S. Raymond <esr@thyrsus.com>
Sun, 7 Oct 2012 23:24:38 +0000 (19:24 -0400)
irkerd

diff --git a/irkerd b/irkerd
index 1fe96a119e68d61b287fd8649fa0db7312fadfb9..2a73835097674e03378bdcbc72cd4063e235ec3d 100755 (executable)
--- a/irkerd
+++ b/irkerd
@@ -419,6 +419,7 @@ class Irker:
     def _handle_disconnect(self, connection, _event):
         "Server hung up the connection."
         self.debug(1, "server %s disconnected" % connection.server)
+        connection.close()
         if connection.context:
             connection.context.handle_disconnect()
     def _handle_kick(self, connection, event):