From 805aeafdb6b3ca42201ba08dea0f84d8b1adc489 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 7 Mar 2006 15:57:31 +0000 Subject: [PATCH] added the creation of system_tables to the db when creating the user environment --- helm/software/components/library/libraryDb.ml | 16 ++++++++++++++-- 1 file changed, 14 insertions(+), 2 deletions(-) diff --git a/helm/software/components/library/libraryDb.ml b/helm/software/components/library/libraryDb.ml index 8c11f591f..3ea0f481a 100644 --- a/helm/software/components/library/libraryDb.ml +++ b/helm/software/components/library/libraryDb.ml @@ -91,12 +91,24 @@ let create_owner_environment () = let rel_tbl = MetadataTypes.rel_tbl () in let name_tbl = MetadataTypes.name_tbl () in let count_tbl = MetadataTypes.count_tbl () in + let l_obj_tbl = MetadataTypes.library_obj_tbl in + let l_sort_tbl = MetadataTypes.library_sort_tbl in + let l_rel_tbl = MetadataTypes.library_rel_tbl in + let l_name_tbl = MetadataTypes.library_name_tbl in + let l_count_tbl = MetadataTypes.library_count_tbl in let tbls = [ (obj_tbl,`RefObj) ; (sort_tbl,`RefSort) ; (rel_tbl,`RefRel) ; - (name_tbl,`ObjectName) ; (count_tbl,`Count) ] + (name_tbl,`ObjectName) ; (count_tbl,`Count) ] + in + let system_tbls = [ + (l_obj_tbl,`RefObj) ; (l_sort_tbl,`RefSort) ; (l_rel_tbl,`RefRel) ; + (l_name_tbl,`ObjectName) ; (l_count_tbl,`Count) ] in let statements = - (SqlStatements.create_tables tbls) @ (SqlStatements.create_indexes tbls) + (SqlStatements.create_tables system_tbls) @ + (SqlStatements.create_tables tbls) @ + (SqlStatements.create_indexes system_tbls) @ + (SqlStatements.create_indexes tbls) in List.iter (fun statement -> try -- 2.39.2