mte/src/static.ml

80 lines
2.3 KiB
OCaml
Raw Normal View History

2026-02-10 21:49:42 +01:00
(* /terms + /privacy *)
2025-09-13 15:56:19 +02:00
2026-02-10 21:49:42 +01:00
(* TODO response *)
2025-09-13 15:56:19 +02:00
module Respond_with = struct
open Vif.Response
open Syntax
open struct
let error_detail ?hint _status =
let open Api in
let code = -1 in
2025-12-03 16:19:11 +01:00
let err = ErrorDetail.make ?hint code in
let s = encode_exn ErrorDetail.jsont err in
2026-02-07 00:11:25 +01:00
Logs.err (fun m -> m "ErrorDetail: `%s`" s);
2025-09-13 15:56:19 +02:00
s
end
let bad_request ?hint req =
let body = error_detail ?hint `Bad_request in
2026-02-07 00:11:25 +01:00
let* () = add ~field:"content-type" "application/json" in
2025-09-13 15:56:19 +02:00
let* () = with_string ?compression:None req body in
respond `Bad_request
let not_modified () =
let* () = empty in
respond `Not_modified
end
2026-02-12 07:09:37 +01:00
let aux asset req _server _env =
let etag = Assets.etag asset in
2025-09-13 15:56:19 +02:00
let headers = Vif.Request.headers req in
let has_matching_etag =
match Vif.Headers.get headers "if-none-match" with
| None -> Ok false
| Some s ->
2026-02-12 11:25:57 +01:00
Headers_lib.If_none_match.parse s
|> Result.map (Headers_lib.If_none_match.evaluate etag)
2025-09-13 15:56:19 +02:00
in
match has_matching_etag with
2026-02-07 00:11:25 +01:00
| Error e ->
Logs.err (fun m -> m "bad request");
Respond_with.bad_request ~hint:e req
| Ok true ->
Logs.err (fun m -> m "not modified");
Respond_with.not_modified ()
2026-02-10 21:49:42 +01:00
| Ok false ->
let mime = Headers.select_mimetype headers in
let lang = Headers.select_language headers in
let compression = Headers.select_encoding headers in
2026-02-12 07:09:37 +01:00
let data = Assets.get_content ~mime ~lang asset in
2026-02-10 21:49:42 +01:00
(* -- *)
let open Vif.Response in
let open Syntax in
let* () = with_string ?compression req data in
let* () =
2026-02-12 11:25:57 +01:00
let etag_field_value = Headers_lib.Etag.to_field_string etag in
2026-02-10 21:49:42 +01:00
add ~field:"etag" etag_field_value
in
let* () =
2026-02-12 07:09:37 +01:00
add ~field:"taler-terms-version"
Assets.Assets_config.terms_legal_version
2026-02-10 21:49:42 +01:00
in
let* () =
add ~field:"avail-languages" Headers.avail_languages_header_value
in
let* () =
let content_type = Fmt.str "%a" Assets.Mimetype.pp mime in
add ~field:"content-type" content_type
in
2026-02-12 07:09:37 +01:00
let* () = add ~field:"content-language" lang in
2026-02-10 21:49:42 +01:00
respond `OK
2025-09-13 15:56:19 +02:00
2026-02-07 00:11:25 +01:00
let terms req _server _env =
Logs.info (fun m -> m "GET /terms");
aux Assets.Terms req _server _env
let privacy req _server _env =
Logs.info (fun m -> m "GET /privacy");
aux Assets.Privacy req _server _env