From a86eac85bfd92c8507fab34091f44d74a56e76bb Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 25 Dec 2024 10:59:32 -0500 Subject: [PATCH] add a HEAD endpoint to echo --- examples/echo.ml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/examples/echo.ml b/examples/echo.ml index af133187..48c3b791 100644 --- a/examples/echo.ml +++ b/examples/echo.ml @@ -244,6 +244,11 @@ let () = Route.(exact "alice" @/ return) (fun _req -> Response.make_string (Ok alice_text)); + Server.add_route_handler ~meth:`HEAD server + Route.(exact "head" @/ return) + (fun _req -> + Response.make_void ~code:200 ~headers:[ "x-hello", "world" ] ()); + (* VFS *) Tiny_httpd.Dir.add_vfs server ~config: