1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
|
{-# LANGUAGE CPP #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE ScopedTypeVariables #-}
module Program.Mighty.Report (
Reporter,
initReporter,
report,
reportDo,
warpHandler,
printStdout,
) where
#if __GLASGOW_HASKELL__ < 709
import Control.Applicative
#endif
import Control.Exception
import qualified Control.Exception as E (catch)
import Control.Monad
import Data.ByteString (ByteString)
import qualified Data.ByteString.Char8 as BS
import Data.UnixTime
import GHC.IO.Exception (IOErrorType (..))
import Network.Wai
import Network.Wai.Handler.Warp (InvalidRequest)
import System.Exit (ExitCode)
import System.IO
import System.IO.Error (ioeGetErrorType)
import System.Posix (getProcessID)
import Network.HTTP2.Client (HTTP2Error)
#ifdef HTTP_OVER_TLS
import Network.TLS (TLSException)
import Network.Wai.Handler.WarpTLS (WarpTLSException)
#ifdef HTTP_OVER_QUIC
import Network.QUIC (QUICException)
#endif
#endif
import Program.Mighty.ByteString
data Method = FileOnly | FileAndStdout deriving (Eq)
data Reporter = Reporter Method FilePath
initReporter :: Bool -> FilePath -> Reporter
initReporter debug reportFile = Reporter method reportFile
where
method
| debug = FileAndStdout
| otherwise = FileOnly
report :: Reporter -> ByteString -> IO ()
report (Reporter method reportFile) msg = handle (\(SomeException _) -> return ()) $ do
pid <- BS.pack . show <$> getProcessID
tm <- getUnixTime >>= formatUnixTime "%d %b %Y %H:%M:%S"
let logmsg = BS.concat [tm, ": pid = ", pid, ": ", msg, "\n"]
BS.appendFile reportFile logmsg
when (method == FileAndStdout) $ BS.putStr logmsg
----------------------------------------------------------------
reportDo :: Reporter -> IO () -> IO ()
reportDo rpt act = act `E.catch` warpHandler rpt Nothing
----------------------------------------------------------------
{- FOURMOLU_DISABLE -}
warpHandler :: Reporter -> Maybe Request -> SomeException -> IO ()
warpHandler rpt _ se
| Just (_ :: ExitCode) <- fromException se = return ()
| Just (e :: IOException) <- fromException se =
if ioeGetErrorType e `elem` [ResourceVanished, InvalidArgument]
then return ()
else report rpt $ bshow se
| Just (_ :: InvalidRequest) <- fromException se = return () -- Warp
| Just (_ :: HTTP2Error) <- fromException se = return ()
#ifdef HTTP_OVER_TLS
| Just (_ :: TLSException) <- fromException se = return ()
| Just (_ :: WarpTLSException) <- fromException se = return ()
#ifdef HTTP_OVER_QUIC
| Just (_ :: QUICException) <- fromException se = return ()
#endif
#endif
| otherwise = report rpt $ bshow se
{- FOURMOLU_ENABLE -}
----------------------------------------------------------------
printStdout :: Maybe Request -> SomeException -> IO ()
printStdout _ x = print x >> hFlush stdout
|
