X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fhttp_getter%2Fhttp_getter_cache.ml;h=b77536f0cbc30242b129c4bfdf4236dceddb3392;hb=fc35fbb35a01c110f221c52661f1193ea5664aa6;hp=3cc9e40546fb4e05ce2b0fec9d45da27740a7724;hpb=244b00f75cd2ea6a16150a3d7c3d7dbbd780ada9;p=helm.git

diff --git a/helm/http_getter/http_getter_cache.ml b/helm/http_getter/http_getter_cache.ml
index 3cc9e4054..b77536f0c 100644
--- 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 ]
+;;