More changes to matitaweb.css.

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

index 744034e060ba1c7c7f4c638584cbd865448a4861..cd7d71dc94033e42ef3cb255213143c4c7102531 100644 (file)
--- a/matitaB/matita/matitadaemon.ml
+++ b/matitaB/matita/matitadaemon.ml
@@ -403,6 +403,31 @@ let retract (cgi : Netcgi1_compat.Netcgi_types.cgi_activation) =
  ;;
  
  
+let viewLib (cgi : Netcgi1_compat.Netcgi_types.cgi_activation) =
+  let cgi = Netcgi1_compat.Netcgi_types.of_compat_activation cgi in
+  let env = cgi#environment in
+  
+    let sid = Uuidm.of_string (Netcgi.Cookie.value (env#cookie "session")) in
+    let sid = HExtlib.unopt sid in
+    cgi # set_header 
+      ~cache:`No_cache 
+      ~content_type:"text/html; charset=\"utf-8\""
+      ();
+    let uid = MatitaAuthentication.user_of_session sid in
+    
+    let html = MatitaFilesystem.html_of_library uid in
+    cgi#out_channel#output_string
+      ((*
+       "<html><head>\n" ^
+       "<title>XML Tree Control</title>\n" ^
+       "<link href=\"treeview/xmlTree.css\" type=\"text/css\" rel=\"stylesheet\">\n" ^
+       "<script src=\"treeview/xmlTree.js\" type=\"text/javascript\"></script>\n" ^
+       "<body>\n" ^ *)
+       html (* ^ "\n</body></html>" *) );
+  cgi#out_channel#commit_work()
+  
+;;
+
  open Netcgi1_compat.Netcgi_types;;
  
  (**********************************************************************)
@@ -487,6 +512,13 @@ let start() =
        dyn_translator = (fun _ -> ""); (* not needed *)
        dyn_accept_all_conditionals = false;
      } in 
+  let do_viewlib =
+    { Nethttpd_services.dyn_handler = (fun _ -> viewLib);
+      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
@@ -496,7 +528,8 @@ let start() =
                  ; "open", retrieve 
                  ; "register", do_register
                  ; "login", do_login 
-                ; "logout", do_logout ]
+                ; "logout", do_logout 
+                ; "viewlib", do_viewlib]
        () in
    MatitaInit.initialize_all ();
    MatitaAuthentication.deserialize ();