- clear also .db db files

[helm.git] / helm / http_getter / http_getter_map.mli

diff --git a/helm/http_getter/http_getter_map.mli b/helm/http_getter/http_getter_map.mli
index 3e0cd0878915e93d0643f3a22a95709f963a0db7..b0725b8defa152f2f9cdab1667ae98a3df8d90dc 100644 (file)
--- a/helm/http_getter/http_getter_map.mli
+++ b/helm/http_getter/http_getter_map.mli
@@ -36,4 +36,6 @@ class map:
       method iter: (string -> string -> unit) -> unit
       method sync: unit
       method clear: unit
+
+      method close: unit (* use with caution! *)
     end