X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fhttp_getter%2Fhttp_getter_map.ml;h=7a5ed1a3bc93ca1490b607f7574bd65e78acffde;hp=07c2c10b4a0db1c667bfa4eef2edabb985cd3ce3;hb=e7ab167b72dc48d260d82060949e8ebe7d27764c;hpb=853195c8cae7b029f3e500a5b712a67cf4467e84

diff --git a/helm/http_getter/http_getter_map.ml b/helm/http_getter/http_getter_map.ml
index 07c2c10b4..7a5ed1a3b 100644
--- a/helm/http_getter/http_getter_map.ml
+++ b/helm/http_getter/http_getter_map.ml
@@ -66,6 +66,12 @@ class map dbname =
         Dbm.iter f db
       ))
 
+    method sync =
+      self#doWriter (lazy (
+        Dbm.close db;
+        db <- open_dbm ()
+      ))
+
     method clear =
       self#doWriter (lazy (
         Dbm.close db;