# HG changeset patch
# User wenzelm
# Date 1476216866 -7200
# Node ID e5cf40a54b1ece527bdc75665fad075249461e02
# Parent  7697919548721c72957f58dfce590a5be419ae82
identify managed repository clones;

diff -r 769791954872 -r e5cf40a54b1e src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Tue Oct 11 21:48:56 2016 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Tue Oct 11 22:14:26 2016 +0200
@@ -19,6 +19,18 @@
   val main_log = log_dir + Path.explode("main.log")
 
 
+  /* managed repository clones */
+
+  val isabelle_repos = main_dir + Path.explode("isabelle-build_history")
+  val afp_repos = main_dir + Path.explode("AFP-build_history")
+
+  def pull_repos(root: Path): String =
+    using(Mercurial.open_repository(root))(hg =>
+      {
+        hg.pull(options = "-q")
+        hg.identify("tip")
+      })
+
 
   /** cronjob **/
 
@@ -53,6 +65,25 @@
     }
 
 
+    /* identify repository snapshots */
+
+    {
+      val pull_date = Date.now()
+
+      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", pull_date)
+      Isabelle_System.mkdirs(log_path.dir)
+      File.write(log_path,
+        Library.terminate_lines(
+          List("isabelle_identify: " + Build_Log.Log_File.Date_Format(pull_date),
+            "",
+            "Isabelle version: " + isabelle_id,
+            "AFP version: " + afp_id)))
+    }
+
+
     /* end */
 
     val end_date = Date.now()