From d16c8efbf65af3aab60e207dab210a069ac6be0c Mon Sep 17 00:00:00 2001 From: Swrup Date: Sun, 28 Sep 2025 19:57:49 +0200 Subject: [PATCH] ~ --- src/config.ml | 14 +++++++++++--- src/util.ml | 8 +------- 2 files changed, 12 insertions(+), 10 deletions(-) diff --git a/src/config.ml b/src/config.ml index 3a153c66..f85674af 100644 --- a/src/config.ml +++ b/src/config.ml @@ -1,14 +1,22 @@ let default_lang = "en" let default_encoding : [< `Identity | `DEFLATE | `Gzip ] = `Identity +(* TODO Taler documentation + markdown mimetype should be the prefered one, and be supported, according to DD + we take text/plain as default instead for now *) +let default_mimetype = ("text", "plain") +let default_extension = ".txt" + (* TODO - generate `config.ml` from config file (virtual module)? - no relative path *) + - generate `config.ml` from config file (virtual module)? + - no relative path *) let terms_dir = Fpath.(v "terms") let privacy_dir = Fpath.(v "privacy") -(* ETAG is used as filename *) +(* ETAG is used as base filename + it should be encoded in Crockford base-32 + we do not generate it and we do not verify it *) let terms_etag = "0" let privacy_etag = "0" let terms_legal_version = "1" diff --git a/src/util.ml b/src/util.ml index 07029492..a82fd35f 100644 --- a/src/util.ml +++ b/src/util.ml @@ -1,9 +1,3 @@ -(* TODO Taler documentation - markdown mimetype should be the prefered one, and be supported, according to DD - we take text/plain as default instead for now *) -let default_mimetype = ("text", "plain") -let default_extension = ".txt" - let mimetype_ext_assoc = [ (("text", "plain"), ".txt"); (("text", "markdown"), ".md") @@ -22,7 +16,7 @@ let media_to_known_mimetype = function List.find_opt (( = ) (m, m_sub)) all_known_mimetypes | AnyMediaSubtype m -> List.find_opt (fun (m', _) -> String.equal m m') all_known_mimetypes - | AnyMedia -> Some default_mimetype + | AnyMedia -> Some Config.default_mimetype let mimetype_to_extension (m, m_sub) = assert (m <> "*");