From 5083220dde1a1bfeec3e0c78b456c42fc20778da Mon Sep 17 00:00:00 2001
From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Thu, 23 Jun 2011 14:09:15 +0000
Subject: [PATCH] Added facility for resetting the library.

---
 matitaB/matita/matitadaemon.ml | 8 ++++++++
 matitaB/matita/netplex.conf    | 7 +++++++
 2 files changed, 15 insertions(+)

diff --git a/matitaB/matita/matitadaemon.ml b/matitaB/matita/matitadaemon.ml
index c1bcab0d7..d98a21e9b 100644
--- 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 ();
diff --git a/matitaB/matita/netplex.conf b/matitaB/matita/netplex.conf
index a270765e9..daa41247d 100644
--- a/matitaB/matita/netplex.conf
+++ b/matitaB/matita/netplex.conf
@@ -88,6 +88,13 @@ netplex {
             handler = "viewlib";
           }
         };
+        uri {
+          path = "/reset";
+          service {
+            type = "dynamic";
+            handler = "reset";
+          }
+        };
       };
     };
     workload_manager {
-- 
2.39.2