From 1a925eaa6d771bd622104595b3437c1a452fe0fc Mon Sep 17 00:00:00 2001 From: nek0 Date: Sat, 9 Dec 2023 14:11:37 +0100 Subject: [PATCH] helpful comment --- src-server/Server/Communication.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/src-server/Server/Communication.hs b/src-server/Server/Communication.hs index 811857e..fc448f9 100644 --- a/src-server/Server/Communication.hs +++ b/src-server/Server/Communication.hs @@ -28,6 +28,7 @@ dropSocketOnSigint sock = (SockAddrUnix path) <- getSocketName sock close' sock removeIfExists path + -- Raise SIGINT again so it does not get blocked raiseSignal keyboardSignal ) Nothing