--- 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,