--- a/src/Pure/Admin/isabelle_cronjob.scala Sun Oct 22 13:22:37 2017 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala Sun Oct 22 13:45:45 2017 +0200
@@ -13,7 +13,7 @@
object Isabelle_Cronjob
{
- /* file-system state: owned by main cronjob */
+ /* global resources: owned by main cronjob */
val main_dir = Path.explode("~/cronjob")
val main_state_file = main_dir + Path.explode("run/main.state")
@@ -427,10 +427,7 @@
})
- /* main */
-
- val main_start_date = Date.now()
- File.write(main_state_file, main_start_date + " " + log_service.hostname)
+ /* repository structure */
val hg = Mercurial.repository(isabelle_repos)
val hg_graph = hg.graph()
@@ -443,6 +440,12 @@
(item: Item) => nodes(item.isabelle_version)
}
+
+ /* main */
+
+ val main_start_date = Date.now()
+ File.write(main_state_file, main_start_date + " " + log_service.hostname)
+
run(main_start_date,
Logger_Task("isabelle_cronjob", logger =>
run_now(