arboricxServer.tri (428B)
1 !import io as IO 2 !import arboricx_handlers as Registry 3 !import arboricx_streaming as Server 4 !export main 5 6 -- Scoped registry with a 1-MiB body/object budget and FIFO16 admission. 7 -- Store initialization and listener failures terminate startup. 8 -- Build/deploy: nix build .#arboricxServer (see docs/build-and-run.md). 9 main = IO.io (Server.serve "./store" 1048576 Registry.stdoutLog 10 (IO.ipv4 [0 0 0 0] 8080) 16 (_ : IO.pure t))