X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fhttp_getter.ml;h=48c82f8eaae356ba2f7f5218c35600b4dc1720b0;hb=d838a20f709408384d53cb0377891b89d2a76f94;hp=0792d30b52a8a58ada989efe6570d3f01ab30dcd;hpb=17169e1bf3235fa757ef4ee2f5e338b3ca37c129;p=helm.git

diff --git a/helm/http_getter/http_getter.ml b/helm/http_getter/http_getter.ml
index 0792d30b5..48c82f8ea 100644
--- 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