diff -r 35fcedb6bdc8 -r 3ee466e89047 src/Pure/Admin/isabelle_cronjob.scala
--- 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)
     })
   }