equal
deleted
inserted
replaced
121 case None => Nil |
121 case None => Nil |
122 } |
122 } |
123 |
123 |
124 def prepare_database(): Unit = { |
124 def prepare_database(): Unit = { |
125 using_option(store.open_build_database()) { db => |
125 using_option(store.open_build_database()) { db => |
|
126 val shared_db = db.is_postgresql |
126 db.transaction { |
127 db.transaction { |
127 Data.all_tables.create_lock(db) |
128 Data.all_tables.create_lock(db) |
128 Data.clean_build(db) |
129 Data.clean_build(db) |
|
130 if (shared_db) store.all_tables.create_lock(db) |
129 } |
131 } |
130 db.vacuum(Data.all_tables) |
132 db.vacuum(Data.all_tables ::: (if (shared_db) store.all_tables else SQL.Tables.empty)) |
131 } |
133 } |
132 } |
134 } |
133 |
135 |
134 def store_heap(name: String): Boolean = |
136 def store_heap(name: String): Boolean = |
135 build_heap || Sessions.is_pure(name) || |
137 build_heap || Sessions.is_pure(name) || |