From 9051b7cc151caea1a9f1def1a416c66a7f45248f Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 7 Jul 2005 09:19:28 +0000 Subject: [PATCH] tables for matita.owner are created at boot --- helm/matita/matita.ml | 3 +-- helm/matita/matitaDb.mli | 1 + helm/matita/matitacLib.ml | 1 + 3 files changed, 3 insertions(+), 2 deletions(-) diff --git a/helm/matita/matita.ml b/helm/matita/matita.ml index 251f72017..9551729a4 100644 --- a/helm/matita/matita.ml +++ b/helm/matita/matita.ml @@ -35,8 +35,7 @@ let _ = 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 ()); diff --git a/helm/matita/matitaDb.mli b/helm/matita/matitaDb.mli index b7b7c273f..f6d8c1fd1 100644 --- a/helm/matita/matitaDb.mli +++ b/helm/matita/matitaDb.mli @@ -26,6 +26,7 @@ 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 diff --git a/helm/matita/matitacLib.ml b/helm/matita/matitacLib.ml index d9eba68e2..e72822fdc 100644 --- a/helm/matita/matitacLib.ml +++ b/helm/matita/matitacLib.ml @@ -138,6 +138,7 @@ let main ~mode = 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 -- 2.39.2