request_handler: add /ping endpoint

ahrefs · May 27, 2024 · 40714fd · 40714fd
1 parent a916d68
commit 40714fd
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/request_handler.ml b/src/request_handler.ml
@@ -25,6 +25,7 @@ let run ~ctx ~addr ~port =
         in
         match request.meth, List.map Web.urldecode path with
         | _, [ "stats" ] -> ret (sprintf "%s %s uptime\n" signature Devkit.Action.uptime#get_str)
+        | _, [ "ping" ] -> ret ""
         | `GET, [ "config" ] ->
           let repo_url = Arg.str "repo" |> Web.urldecode in
           ( match%lwt Action.print_config ctx repo_url with