summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRoman Smrž <roman.smrz@seznam.cz>2026-01-15 19:56:20 +0100
committerRoman Smrž <roman.smrz@seznam.cz>2026-01-15 19:56:20 +0100
commit13c0b06c814a88378edeb0f80c30f2af6be48954 (patch)
tree355776b1b2a7c66b8f1c183044d46aedda1e5f06
parent379d88e72a66eb876dfdf452d79081f5e4277979 (diff)
Explicit case for NoSignalSpecificInfo in signal handler
-rw-r--r--src/Run.hs3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Run.hs b/src/Run.hs
index 430a663..ad108e3 100644
--- a/src/Run.hs
+++ b/src/Run.hs
@@ -87,7 +87,8 @@ runTest out opts gdefs test = do
, tsDisconnectedBridge = S.empty
}
- let sigHandler SignalInfo { siginfoSpecific = chld } = do
+ let sigHandler SignalInfo { siginfoSpecific = NoSignalSpecificInfo } = return ()
+ sigHandler SignalInfo { siginfoSpecific = chld } = do
processes <- readMVar procVar
forM_ processes $ \p -> do
mbpid <- either getPid (\_ -> return Nothing) (procHandle p)