# HG changeset patch
# User wenzelm
# Date 1476366264 -7200
# Node ID 4c0d19b3a882ee44e72ca584b9ebe6d90318b5e1
# Parent  1dcb5acd9a7151046185e02fbc64f8e70b3a2674
tuned;

diff -r 1dcb5acd9a71 -r 4c0d19b3a882 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Thu Oct 13 15:41:30 2016 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Thu Oct 13 15:44:24 2016 +0200
@@ -23,7 +23,40 @@
   val main_log = log_dir + Path.explode("main.log")  // owned by log service
 
 
-  /* task logging */
+
+  /** particular tasks **/
+
+  /* identify repository snapshots */
+
+  val isabelle_repos = main_dir + Path.explode("isabelle-build_history")
+  val afp_repos = main_dir + Path.explode("AFP-build_history")
+
+  val isabelle_identify =
+    Logger_Task("isabelle_identify", logger =>
+      {
+        def pull_repos(root: Path): String =
+        {
+          val hg = Mercurial.repository(root)
+          hg.pull(options = "-q")
+          hg.identify("tip", options = "-i")
+        }
+
+        val isabelle_id = pull_repos(isabelle_repos)
+        val afp_id = pull_repos(afp_repos)
+
+        val log_path = log_dir + Build_Log.log_path("isabelle_identify", logger.start_date)
+        Isabelle_System.mkdirs(log_path.dir)
+        File.write(log_path,
+          terminate_lines(
+            List("isabelle_identify: " + Build_Log.print_date(logger.start_date),
+              "",
+              "Isabelle version: " + isabelle_id,
+              "AFP version: " + afp_id)))
+      })
+
+
+
+  /** task logging **/
 
   sealed case class Logger_Task(name: String, body: Logger => Unit)
 
@@ -91,38 +124,6 @@
 
 
 
-  /** particular tasks **/
-
-  /* identify repository snapshots */
-
-  val isabelle_repos = main_dir + Path.explode("isabelle-build_history")
-  val afp_repos = main_dir + Path.explode("AFP-build_history")
-
-  val isabelle_identify =
-    Logger_Task("isabelle_identify", logger =>
-      {
-        def pull_repos(root: Path): String =
-        {
-          val hg = Mercurial.repository(root)
-          hg.pull(options = "-q")
-          hg.identify("tip", options = "-i")
-        }
-
-        val isabelle_id = pull_repos(isabelle_repos)
-        val afp_id = pull_repos(afp_repos)
-
-        val log_path = log_dir + Build_Log.log_path("isabelle_identify", logger.start_date)
-        Isabelle_System.mkdirs(log_path.dir)
-        File.write(log_path,
-          terminate_lines(
-            List("isabelle_identify: " + Build_Log.print_date(logger.start_date),
-              "",
-              "Isabelle version: " + isabelle_id,
-              "AFP version: " + afp_id)))
-      })
-
-
-
   /** cronjob **/
 
   def init_options(): Options = Options.load(Path.explode("~~/Admin/cronjob/cronjob.options"))