From 7a6b16e860acbe63de5f579aed1ff3f193cd793d Mon Sep 17 00:00:00 2001 From: Beat Bolli Date: Wed, 25 Dec 2013 15:30:59 +0100 Subject: [PATCH] irk: explicitly close the irkerd socket Signed-off-by: Eric S. Raymond --- irk | 1 + 1 file changed, 1 insertion(+) diff --git a/irk b/irk index 1138a06..db547ba 100755 --- a/irk +++ b/irk @@ -36,3 +36,4 @@ if message == '-': send(s, target, line.rstrip('\n')) else: send(s, target, message) +s.close() -- 2.26.2