irk: explicitly close the irkerd socket

Signed-off-by: Eric S. Raymond <esr@thyrsus.com>

diff --git a/irk b/irk
index 1138a0677c90009da4e4818edab1d1f4b2c4570f..db547ba230a7cfa76fb772ce91a2e201c2d54b55 100755 (executable)
--- a/irk
+++ b/irk
@@ -36,3 +36,4 @@ if message == '-':
         send(s, target, line.rstrip('\n'))
 else:
     send(s, target, message)
+s.close()