equal
deleted
inserted
replaced
119 case Some(session_context) => |
119 case Some(session_context) => |
120 Properties.uncompress(session_context.old_command_timings_blob, cache = store.cache) |
120 Properties.uncompress(session_context.old_command_timings_blob, cache = store.cache) |
121 case None => Nil |
121 case None => Nil |
122 } |
122 } |
123 |
123 |
124 def prepare_database(): Unit = { |
124 def store_init(): Unit = { |
|
125 Isabelle_System.make_directory(store.output_dir + Path.basic("log")) |
|
126 |
125 using_option(store.maybe_open_build_database(Data.database)) { db => |
127 using_option(store.maybe_open_build_database(Data.database)) { db => |
126 val shared_db = db.is_postgresql |
128 val shared_db = db.is_postgresql |
127 Data.transaction_lock(db, create = true) { |
129 Data.transaction_lock(db, create = true) { |
128 Data.clean_build(db) |
130 Data.clean_build(db) |
129 if (shared_db) Store.Data.tables.lock(db, create = true) |
131 if (shared_db) Store.Data.tables.lock(db, create = true) |