Added matitaweb administration panel.

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

index 92b1ce45c76267f66575ebb8671461a10035e9a4..c1bcab0d7bffbdbe394a9406a2f3c6b70ecb4fe7 100644 (file)
--- a/matitaB/matita/matitadaemon.ml
+++ b/matitaB/matita/matitadaemon.ml
@@ -431,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;;
  
  (**********************************************************************)