# HG changeset patch
# User wenzelm
# Date 1508672745 -7200
# Node ID d2f983fe3e73c2c0a983da1f957d0b76da348e7c
# Parent  85e6748bf8b2bc83f1137563f832b78de2656c1f
tuned;

diff -r 85e6748bf8b2 -r d2f983fe3e73 src/Pure/Admin/isabelle_cronjob.scala
--- 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(