registry-log-failure.tri (344B)
1 !import base as B 2 !import io as IO 3 !import handlers as H 4 !import arboricx_streaming as Server 5 !export main 6 7 -- Exercise the production request path with an ordinary failed logging sink. 8 failedLog _ = H.pure (B.err "private logger failure" t) 9 main = IO.io (Server.serve "./store" 1048576 failedLog 10 (IO.ipv4 [0 0 0 0] 8080) 16 (_ : IO.pure t))