tuned;

--- a/src/Pure/Admin/isabelle_cronjob.scala	Sat Oct 15 22:45:27 2016 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sat Oct 15 23:07:47 2016 +0200
@@ -225,8 +225,7 @@
 
     /* log service */
 
-    val ssh_context = SSH.init(Options.init())
-    val log_service = new Log_Service(progress, ssh_context)
+    val log_service = new Log_Service(progress, SSH.init(Options.init()))
 
     def run(start_date: Date, task: Logger_Task) { log_service.run_task(start_date, task) }