diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2026-01-15 19:56:20 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2026-01-15 19:56:20 +0100 |
| commit | 13c0b06c814a88378edeb0f80c30f2af6be48954 (patch) | |
| tree | 355776b1b2a7c66b8f1c183044d46aedda1e5f06 /src/Run.hs | |
| parent | 379d88e72a66eb876dfdf452d79081f5e4277979 (diff) | |
Explicit case for NoSignalSpecificInfo in signal handler
Diffstat (limited to 'src/Run.hs')
| -rw-r--r-- | src/Run.hs | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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) |