X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fhttp_getter%2Fhttp_getter_cache.ml;fp=helm%2Fhttp_getter%2Fhttp_getter_cache.ml;h=2a258ddc42997f7425e9b6a9101a121e4566ef7e;hp=42bace5a4f7b9ac53b67a7f2e3fd8fcf458f62d3;hb=088d352ab8bc4aa29289869c20e40df54a2e9abb;hpb=ef8c8f30c996d30617232a662ff4d3afc5a92a8f diff --git a/helm/http_getter/http_getter_cache.ml b/helm/http_getter/http_getter_cache.ml index 42bace5a4..2a258ddc4 100644 --- a/helm/http_getter/http_getter_cache.ml +++ b/helm/http_getter/http_getter_cache.ml @@ -26,6 +26,8 @@ * http://helm.cs.unibo.it/ *) +(* TODO cache expires control!!! *) + open Http_getter_common;; open Http_getter_misc;; open Http_getter_types;;