]> matita.cs.unibo.it Git - helm.git/commitdiff
Dbm dumper for dbs created using Dbm ocaml module
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 26 Dec 2002 15:38:55 +0000 (15:38 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 26 Dec 2002 15:38:55 +0000 (15:38 +0000)
helm/http_getter/tools/dump_db.ml [new file with mode: 0755]

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