Added Utf8MacroTable for MatitaWeb.

[helm.git] / matitaB / matita / matitadaemon.ml
diff --git a/matitaB/matita/matitadaemon.ml b/matitaB/matita/matitadaemon.ml

index cd7d71dc94033e42ef3cb255213143c4c7102531..d98a21e9b1e59a56536818617d66409f74cb7d96 100644 (file)
--- a/matitaB/matita/matitadaemon.ml
+++ b/matitaB/matita/matitadaemon.ml
@@ -5,6 +5,8 @@ module Stack = Continuationals.Stack
  
  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 =
@@ -167,11 +169,12 @@ let retrieve (cgi : Netcgi1_compat.Netcgi_types.cgi_activation) =
    (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 () 
@@ -428,6 +431,20 @@ let viewLib (cgi : Netcgi1_compat.Netcgi_types.cgi_activation) =
    
  ;;
  
+let resetLib (cgi : Netcgi1_compat.Netcgi_types.cgi_activation) =
+  let cgi = Netcgi1_compat.Netcgi_types.of_compat_activation cgi in
+  MatitaAuthentication.reset ();
+    cgi # set_header 
+      ~cache:`No_cache 
+      ~content_type:"text/html; charset=\"utf-8\""
+      ();
+    
+    cgi#out_channel#output_string
+      ("<html><head>\n" ^
+       "<title>Matitaweb Reset</title>\n" ^
+       "<body><H1>Reset completed</H1></body></html>");
+    cgi#out_channel#commit_work()
+
  open Netcgi1_compat.Netcgi_types;;
  
  (**********************************************************************)
@@ -519,6 +536,13 @@ let start() =
        dyn_translator = (fun _ -> ""); (* not needed *)
        dyn_accept_all_conditionals = false;
      } in 
+  let do_resetlib =
+    { Nethttpd_services.dyn_handler = (fun _ -> resetLib);
+      dyn_activation = Nethttpd_services.std_activation `Std_activation_buffered;
+      dyn_uri = None;                 (* not needed *)
+      dyn_translator = (fun _ -> ""); (* not needed *)
+      dyn_accept_all_conditionals = false;
+    } in 
    
    let nethttpd_factory = 
      Nethttpd_plex.nethttpd_factory
@@ -529,6 +553,7 @@ let start() =
                  ; "register", do_register
                  ; "login", do_login 
                  ; "logout", do_logout 
+                ; "reset", do_resetlib
                  ; "viewlib", do_viewlib]
        () in
    MatitaInit.initialize_all ();