clean_cache method added

[helm.git] / helm / http_getter / http_getter_cache.ml

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 ]
+;;