From 088d352ab8bc4aa29289869c20e40df54a2e9abb Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 8 Jan 2003 18:00:28 +0000 Subject: [PATCH] - added TODO about cache expires control --- helm/http_getter/http_getter_cache.ml | 2 ++ 1 file changed, 2 insertions(+) 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;; -- 2.39.2