]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/tools/dump_db.ml
Dbm dumper for dbs created using Dbm ocaml module
[helm.git] / helm / http_getter / tools / dump_db.ml
diff --git a/helm/http_getter/tools/dump_db.ml b/helm/http_getter/tools/dump_db.ml
new file mode 100755 (executable)
index 0000000..3a64f1d
--- /dev/null
@@ -0,0 +1,6 @@
+#!/usr/bin/ocamlrun /usr/bin/ocaml
+#use "topfind";;
+#require "dbm";;
+let db = Dbm.opendbm Sys.argv.(1) [ Dbm.Dbm_rdonly ] 0 in
+Dbm.iter (Printf.printf "%s: %s\n") db;
+Dbm.close db