]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/http_getter_map.ml
+ method sync =
+ self#doWriter (lazy (
+ Dbm.close db;
+ db <- open_dbm ()
+ ))
+
method clear =
self#doWriter (lazy (
Dbm.close db;
method clear =
self#doWriter (lazy (
Dbm.close db;