Helm_registry.load_from "matita.conf.xml"; (* read conf *)
Http_getter.init ();
MetadataTypes.ownerize_tables (Helm_registry.get "matita.owner");
-(* MatitaDb.clean_owner_environment ();
- MatitaDb.create_owner_environment (); *)
+ MatitaDb.create_owner_environment ();
GtkMain.Rc.add_default_file BuildTimeConf.gtkrc_file; (* loads gtk rc *)
ignore (GMain.Main.init ());
val instance: unit -> Mysql.dbd
val reset_owner_environment : unit -> unit
+val create_owner_environment: unit -> unit
val remove_uri: UriManager.uri -> string list
val xpointers_of_ind: UriManager.uri -> UriManager.uri list
Helm_registry.load_from "matita.conf.xml";
Http_getter.init ();
MetadataTypes.ownerize_tables (Helm_registry.get "matita.owner");
+ MatitaDb.create_owner_environment ();
status := Some (ref (Lazy.force MatitaEngine.initial_status));
Sys.catch_break true;
let fname = fname () in