let rt_path () = Helm_registry.get "matita.rt_base_dir"
+let libdir uid = (rt_path ()) ^ "/users/" ^ uid
+
let utf8_length = Netconversion.ustring_length `Enc_utf8
let utf8_parsed_text s floc =
(try
let sid = Uuidm.of_string (Netcgi.Cookie.value (env#cookie "session")) in
let sid = HExtlib.unopt sid in
+ let uid = MatitaAuthentication.user_of_session sid in
cgi # set_header
~cache:`No_cache
~content_type:"text/xml; charset=\"utf-8\""
();
- let filename = cgi # argument_value "file" in
+ let filename = libdir uid ^ "/" ^ (cgi # argument_value "file") in
prerr_endline ("reading file " ^ filename);
let body =
Netencoding.Html.encode ~in_enc:`Enc_utf8 ~prefer_name:false ()