clean_cache method added

diff --git a/helm/http_getter/http_getter.ml b/helm/http_getter/http_getter.ml
index 0792d30b52a8a58ada989efe6570d3f01ab30dcd..48c82f8eaae356ba2f7f5218c35600b4dc1720b0 100644 (file)
--- a/helm/http_getter/http_getter.ml
+++ b/helm/http_getter/http_getter.ml
@@ -387,6 +387,9 @@ let callback (req: Http_types.request) outchan =
             register uri url;
             return_html_msg "Register done" outchan
         | _ -> assert false)
+    | "/clean_cache" ->
+        Http_getter_cache.clean ();
+        return_html_msg "Done." outchan
     | "/update" ->
         Http_getter_env.reload (); (* reload servers list from servers file *)
         let log = update_from_all_servers () in

diff --git a/helm/http_getter/http_getter_cache.ml b/helm/http_getter/http_getter_cache.ml
index 3cc9e40546fb4e05ce2b0fec9d45da27740a7724..b77536f0cbc30242b129c4bfdf4236dceddb3392 100644 (file)
--- a/helm/http_getter/http_getter_cache.ml
+++ b/helm/http_getter/http_getter_cache.ml
@@ -201,4 +201,11 @@ let respond_dtd ?(enc = Enc_normal) ?(patch = true) ~url outchan =
     return_file ~fname:url ~contype:"text/plain" ~patch_fun outchan
   else
     return_html_error ("Can't find DTD: " ^ url) outchan
+;;
 
+let clean () =
+ let module E = Http_getter_env in
+  List.iter
+   (function dir -> ignore (Unix.system ("rm -rf " ^ dir ^ "/*"))
+   ) [E.cic_dir ; E.nuprl_dir ; E.rdf_dir ]
+;;

diff --git a/helm/http_getter/http_getter_cache.mli b/helm/http_getter/http_getter_cache.mli
index a1acfca8cd6a49a89ed42fae93a0780ec61104b2..9aa6e53a5ee024e94d3c2632f5bc59543ae5de5d 100644 (file)
--- a/helm/http_getter/http_getter_cache.mli
+++ b/helm/http_getter/http_getter_cache.mli
@@ -43,3 +43,4 @@ val respond_dtd:
   out_channel ->
     unit
 
+val clean: unit -> unit

diff --git a/helm/http_getter/http_getter_const.ml b/helm/http_getter/http_getter_const.ml
index 71aed58d3b0256f3919606633461983a098809ba..eefd7c865e9d8d1544919d81d6e0b0d5d67f9374 100644 (file)
--- a/helm/http_getter/http_getter_const.ml
+++ b/helm/http_getter/http_getter_const.ml
@@ -79,6 +79,9 @@ let usage_string configuration =
     <p>
       <b><kbd>update</kbd></b><br />
     </p>
+    <p>
+      <b><kbd>clean_cache</kbd></b><br />
+    </p>
     <p>
       <b><kbd>getalluris</kbd></b><br />
     </p>