]> matita.cs.unibo.it Git - helm.git/commitdiff
- added TODO about cache expires control
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 8 Jan 2003 18:00:28 +0000 (18:00 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 8 Jan 2003 18:00:28 +0000 (18:00 +0000)
helm/http_getter/http_getter_cache.ml

index 42bace5a4f7b9ac53b67a7f2e3fd8fcf458f62d3..2a258ddc42997f7425e9b6a9101a121e4566ef7e 100644 (file)
@@ -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;;