From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 8 Jan 2003 18:00:28 +0000 (+0000)
Subject: - added TODO about cache expires control
X-Git-Tag: v0_3_99~62
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=088d352ab8bc4aa29289869c20e40df54a2e9abb;p=helm.git

- added TODO about cache expires control
---

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