# HG changeset patch
# User wenzelm
# Date 1476634384 -7200
# Node ID eb476ea7bbea1364c9d1fac65ec54497115b3c69
# Parent  cdb38bb9a3f020c234e01d70368d69faf95f791e
tuned;

diff -r cdb38bb9a3f0 -r eb476ea7bbea src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sun Oct 16 17:52:25 2016 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sun Oct 16 18:13:04 2016 +0200
@@ -110,10 +110,10 @@
     Logger_Task("build_history-" + r.host, logger =>
       {
         using(logger.ssh_context.open_session(host = r.host, user = r.user, port = r.port))(
-          session =>
+          ssh =>
             {
               val results =
-                Build_History.remote_build_history(session,
+                Build_History.remote_build_history(ssh,
                   isabelle_repos,
                   isabelle_repos.ext(r.host),
                   isabelle_repos_source = isabelle_dev_source,