changeset 65723 | 3ee466e89047 |
parent 65710 | 4326b165b401 |
child 65732 | 7864aea16a87 |
--- a/src/Pure/Admin/isabelle_cronjob.scala Thu May 04 15:31:27 2017 +0200 +++ b/src/Pure/Admin/isabelle_cronjob.scala Thu May 04 15:38:24 2017 +0200 @@ -153,7 +153,7 @@ using(store.open_database())(db => { store.update_database(db, database_dirs, ml_statistics = true) - store.snapshot(db, build_log_snapshot) + store.snapshot_database(db, build_log_snapshot) }) }