diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2026-07-06 12:02:29 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2026-07-11 15:24:37 +0200 |
| commit | b162d2e23a500bb362aaf2b94d8d3ee8f3651163 (patch) | |
| tree | 43eb0809e27bda1d17490ce6f46d23013b77845d /src/Output.hs | |
| parent | 4d2de6a51f555cb2365e161c082223e7d9f21bc8 (diff) | |
Diffstat (limited to 'src/Output.hs')
| -rw-r--r-- | src/Output.hs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/Output.hs b/src/Output.hs index 293f598..c50d97a 100644 --- a/src/Output.hs +++ b/src/Output.hs @@ -49,6 +49,7 @@ data OutputEvent | JobIsDuplicate JobId Text | JobPreviouslyFinished JobId Text | JobWasSkipped JobId + | RunInterruptedByUser data OutputFootnote = OutputFootnote { footnoteText :: Text @@ -133,6 +134,11 @@ outputEvent out@Output {..} = liftIO . \case forM_ outLogs $ \h -> outStrLn out h ("Skipped " <> textJobId jid) forM_ outTest $ \h -> outStrLn out h ("job-skip " <> textJobId jid) + RunInterruptedByUser -> do + forM_ outTerminal $ \term -> void $ newLine term "\rInterrupted by user" + forM_ outLogs $ \h -> outStrLn out h "Interrupted by user" + forM_ outTest $ \h -> outStrLn out h "run-user-interrupt" + outputFootnote :: Output -> Text -> IO OutputFootnote outputFootnote out@Output {..} footnoteText = do footnoteTerminal <- forM outTerminal $ \term -> newFootnote term footnoteText |