Helm_registry.set "tmp.dir" path;
Http_getter.init ();
let dbd =
- Mysql.quick_connect
+ HMysql.quick_connect
~host:(Helm_registry.get "db.host")
~user:(Helm_registry.get "db.user")
~database:(Helm_registry.get "db.database") ()
(Unix.getpid ()) !i len perc short;
flush stdout;
let uri = UriManager.uri_of_string u in
- MetadataDb.index_obj ~dbd ~uri)
+ MetadataDb.index_obj ~dbd ~uri;
+ CicEnvironment.empty ())
uris;
print_string "END "; Unix.system "date"
;;