X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fmain.ml;fp=helm%2Fhttp_getter%2Fmain.ml;h=640584e63a9729e2d03941162c5633039ac2c7a5;hb=07b89f0a77a8099cda7b53b4babdf9511966d8fd;hp=1763836158eb1afd6c851bc0bea1789f1743361b;hpb=e40f7aa785fbcee495a26e6700ed8b1de1f683d2;p=helm.git diff --git a/helm/http_getter/main.ml b/helm/http_getter/main.ml index 176383615..640584e63 100644 --- a/helm/http_getter/main.ml +++ b/helm/http_getter/main.ml @@ -90,13 +90,16 @@ let parse_rdf_class (req: Http_types.request) = | "backward" -> `Backward | c -> raise (Bad_request ("Invalid RDF class: " ^ c)) +let xml_escape = Netencoding.Html.encode ~in_enc:`Enc_utf8 () + let html_tag ?exn () = let xml_decl = "\n" in match exn with - | Some (exn, value) -> + | Some (exn, arg) -> + let (exn, arg) = (xml_escape exn, xml_escape arg) in sprintf "%s\n" - xml_decl xhtml_ns helm_ns exn value + xml_decl xhtml_ns helm_ns exn arg | None -> sprintf "%s\n" xml_decl xhtml_ns helm_ns