mirror of
https://github.com/urbit/shrub.git
synced 2024-12-29 23:23:52 +03:00
king: Logging cleanup.
This commit is contained in:
parent
ba4b9e7fdf
commit
66278edd19
@ -362,57 +362,57 @@ replayPartEvs top last = do
|
|||||||
-}
|
-}
|
||||||
testPill :: HasLogFunc e => FilePath -> Bool -> Bool -> RIO e ()
|
testPill :: HasLogFunc e => FilePath -> Bool -> Bool -> RIO e ()
|
||||||
testPill pax showPil showSeq = do
|
testPill pax showPil showSeq = do
|
||||||
putStrLn "Reading pill file."
|
logTrace "Reading pill file."
|
||||||
pillBytes <- readFile pax
|
pillBytes <- readFile pax
|
||||||
|
|
||||||
putStrLn "Cueing pill file."
|
logTrace "Cueing pill file."
|
||||||
pillNoun <- io $ cueBS pillBytes & either throwIO pure
|
pillNoun <- io $ cueBS pillBytes & either throwIO pure
|
||||||
|
|
||||||
putStrLn "Parsing pill file."
|
logTrace "Parsing pill file."
|
||||||
pill <- fromNounErr pillNoun & either (throwIO . uncurry ParseErr) pure
|
pill <- fromNounErr pillNoun & either (throwIO . uncurry ParseErr) pure
|
||||||
|
|
||||||
putStrLn "Using pill to generate boot sequence."
|
logTrace "Using pill to generate boot sequence."
|
||||||
bootSeq <- generateBootSeq zod pill False (Fake $ Ship 0)
|
bootSeq <- generateBootSeq zod pill False (Fake $ Ship 0)
|
||||||
|
|
||||||
putStrLn "Validate jam/cue and toNoun/fromNoun on pill value"
|
logTrace "Validate jam/cue and toNoun/fromNoun on pill value"
|
||||||
reJam <- validateNounVal pill
|
reJam <- validateNounVal pill
|
||||||
|
|
||||||
putStrLn "Checking if round-trip matches input file:"
|
logTrace "Checking if round-trip matches input file:"
|
||||||
unless (reJam == pillBytes) $ do
|
unless (reJam == pillBytes) $ do
|
||||||
putStrLn " Our jam does not match the file...\n"
|
logTrace " Our jam does not match the file...\n"
|
||||||
putStrLn " This is surprising, but it is probably okay."
|
logTrace " This is surprising, but it is probably okay."
|
||||||
|
|
||||||
when showPil $ do
|
when showPil $ do
|
||||||
putStrLn "\n\n== Pill ==\n"
|
logTrace "\n\n== Pill ==\n"
|
||||||
io $ pPrint pill
|
io $ pPrint pill
|
||||||
|
|
||||||
when showSeq $ do
|
when showSeq $ do
|
||||||
putStrLn "\n\n== Boot Sequence ==\n"
|
logTrace "\n\n== Boot Sequence ==\n"
|
||||||
io $ pPrint bootSeq
|
io $ pPrint bootSeq
|
||||||
|
|
||||||
validateNounVal :: (HasLogFunc e, Eq a, ToNoun a, FromNoun a)
|
validateNounVal :: (HasLogFunc e, Eq a, ToNoun a, FromNoun a)
|
||||||
=> a -> RIO e ByteString
|
=> a -> RIO e ByteString
|
||||||
validateNounVal inpVal = do
|
validateNounVal inpVal = do
|
||||||
putStrLn " jam"
|
logTrace " jam"
|
||||||
inpByt <- evaluate $ jamBS $ toNoun inpVal
|
inpByt <- evaluate $ jamBS $ toNoun inpVal
|
||||||
|
|
||||||
putStrLn " cue"
|
logTrace " cue"
|
||||||
outNon <- cueBS inpByt & either throwIO pure
|
outNon <- cueBS inpByt & either throwIO pure
|
||||||
|
|
||||||
putStrLn " fromNoun"
|
logTrace " fromNoun"
|
||||||
outVal <- fromNounErr outNon & either (throwIO . uncurry ParseErr) pure
|
outVal <- fromNounErr outNon & either (throwIO . uncurry ParseErr) pure
|
||||||
|
|
||||||
putStrLn " toNoun"
|
logTrace " toNoun"
|
||||||
outNon <- evaluate (toNoun outVal)
|
outNon <- evaluate (toNoun outVal)
|
||||||
|
|
||||||
putStrLn " jam"
|
logTrace " jam"
|
||||||
outByt <- evaluate $ jamBS outNon
|
outByt <- evaluate $ jamBS outNon
|
||||||
|
|
||||||
putStrLn "Checking if: x == cue (jam x)"
|
logTrace "Checking if: x == cue (jam x)"
|
||||||
unless (inpVal == outVal) $
|
unless (inpVal == outVal) $
|
||||||
error "Value fails test: x == cue (jam x)"
|
error "Value fails test: x == cue (jam x)"
|
||||||
|
|
||||||
putStrLn "Checking if: jam x == jam (cue (jam x))"
|
logTrace "Checking if: jam x == jam (cue (jam x))"
|
||||||
unless (inpByt == outByt) $
|
unless (inpByt == outByt) $
|
||||||
error "Value fails test: jam x == jam (cue (jam x))"
|
error "Value fails test: jam x == jam (cue (jam x))"
|
||||||
|
|
||||||
@ -420,14 +420,14 @@ validateNounVal inpVal = do
|
|||||||
|
|
||||||
--------------------------------------------------------------------------------
|
--------------------------------------------------------------------------------
|
||||||
|
|
||||||
pillFrom :: CLI.PillSource -> RIO e Pill
|
pillFrom :: CLI.PillSource -> RIO App Pill
|
||||||
|
pillFrom = \case
|
||||||
pillFrom (CLI.PillSourceFile pillPath) = do
|
CLI.PillSourceFile pillPath -> do
|
||||||
putStrLn $ "boot: reading pill from " ++ pack pillPath
|
logTrace $ display $ "boot: reading pill from " ++ (pack pillPath :: Text)
|
||||||
io (loadFile pillPath >>= either throwIO pure)
|
io (loadFile pillPath >>= either throwIO pure)
|
||||||
|
|
||||||
pillFrom (CLI.PillSourceURL url) = do
|
CLI.PillSourceURL url -> do
|
||||||
putStrLn $ "boot: retrieving pill from " ++ pack url
|
logTrace $ display $ "boot: retrieving pill from " ++ (pack url :: Text)
|
||||||
-- Get the jamfile with the list of stars accepting comets right now.
|
-- Get the jamfile with the list of stars accepting comets right now.
|
||||||
manager <- io $ C.newManager tlsManagerSettings
|
manager <- io $ C.newManager tlsManagerSettings
|
||||||
request <- io $ C.parseRequest url
|
request <- io $ C.parseRequest url
|
||||||
@ -645,14 +645,15 @@ runShipRestarting waitForKillRequ r o multi = do
|
|||||||
atomically (onShipExit <|> onKillRequ) >>= \case
|
atomically (onShipExit <|> onKillRequ) >>= \case
|
||||||
Left exit -> do
|
Left exit -> do
|
||||||
case exit of
|
case exit of
|
||||||
Left err -> putStrLn (tshow err <> ": " <> pier)
|
Left err -> logError $ display (tshow err <> ": " <> pier)
|
||||||
Right () -> putStrLn ("Ship exited on it's own. Why? " <> pier)
|
Right () ->
|
||||||
|
logError $ display ("Ship exited on it's own. Why? " <> pier)
|
||||||
threadDelay 250_000
|
threadDelay 250_000
|
||||||
loop
|
loop
|
||||||
Right () -> do
|
Right () -> do
|
||||||
putStrLn ("King Shutdown requested. Killing: " <> pier)
|
logTrace $ display ("King Shutdown requested. Killing: " <> pier)
|
||||||
cancel tid
|
cancel tid
|
||||||
putStrLn ("Ship terminated: " <> pier)
|
logTrace $ display ("Ship terminated: " <> pier)
|
||||||
|
|
||||||
|
|
||||||
runShips :: CLI.KingOpts -> [(CLI.Run, CLI.Opts, Bool)] -> RIO App ()
|
runShips :: CLI.KingOpts -> [(CLI.Run, CLI.Opts, Bool)] -> RIO App ()
|
||||||
@ -703,7 +704,7 @@ runMultipleShips ships multi = do
|
|||||||
-}
|
-}
|
||||||
let spin = forever (threadDelay maxBound)
|
let spin = forever (threadDelay maxBound)
|
||||||
finally spin $ do
|
finally spin $ do
|
||||||
putStrLn "KING IS GOING DOWN"
|
logTrace "KING IS GOING DOWN"
|
||||||
atomically (putTMVar killSignal ())
|
atomically (putTMVar killSignal ())
|
||||||
for_ shipThreads waitCatch
|
for_ shipThreads waitCatch
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user