Added facility for resetting the library.

[helm.git] / matitaB / matita / matitadaemon.ml

diff --git a/matitaB/matita/matitadaemon.ml b/matitaB/matita/matitadaemon.ml
index c1bcab0d7bffbdbe394a9406a2f3c6b70ecb4fe7..d98a21e9b1e59a56536818617d66409f74cb7d96 100644 (file)
--- a/matitaB/matita/matitadaemon.ml
+++ b/matitaB/matita/matitadaemon.ml
@@ -536,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
@@ -546,6 +553,7 @@ let start() =
                 ; "register", do_register
                 ; "login", do_login 
                 ; "logout", do_logout 
+                ; "reset", do_resetlib
                 ; "viewlib", do_viewlib]
       () in
   MatitaInit.initialize_all ();