src/Pure/Admin/isabelle_cronjob.scala

   val build_log_dirs =
     List(Path.explode("~/log"), Path.explode("~/afp/log"), Path.explode("~/cronjob/log"))
 
 
 
-  /** particular tasks **/
+  /** logger tasks **/
+
+  sealed case class Logger_Task(name: String = "", body: Logger => Unit)
+
 
   /* init and identify Isabelle + AFP repository snapshots */
 
-  private val init =
+  val init =
     Logger_Task("init", logger =>
       {
         Isabelle_Devel.make_index()
 
         val rev = Mercurial.repository(isabelle_repos).id()

       })
 
 
   /* build release */
 
-  private val build_release =
+  val build_release =
     Logger_Task("build_release", logger =>
       {
         val rev = Mercurial.repository(isabelle_repos).id()
         val afp_rev = Mercurial.repository(afp_repos).id()
 

       })
 
 
   /* integrity test of build_history vs. build_history_base */
 
-  private val build_history_base =
+  val build_history_base =
     Logger_Task("build_history_base", logger =>
       {
         val hg =
           Mercurial.setup_repository(
             File.standard_path(isabelle_repos), isabelle_repos_test)

           args = "-g slow",
           afp = true,
           slow = true,
           detect = Build_Log.Prop.build_tags + " = " + SQL.string("AFP"))))
 
-  private def remote_build_history(
-    rev: String, afp_rev: Option[String], i: Int, r: Remote_Build): Logger_Task =
+  def remote_build_history(rev: String, afp_rev: Option[String], i: Int, r: Remote_Build)
+    : Logger_Task =
   {
     val task_name = "build_history-" + r.host
     Logger_Task(task_name, logger =>
       {
         using(r.ssh_session(logger.ssh_context))(ssh =>

 
 
 
   /** task logging **/
 
-  sealed case class Logger_Task(name: String = "", body: Logger => Unit)
-
-  class Log_Service private[Isabelle_Cronjob](progress: Progress, val ssh_context: SSH.Context)
+  object Log_Service
+  {
+    def apply(options: Options, progress: Progress = No_Progress): Log_Service =
+      new Log_Service(SSH.init_context(options), progress)
+  }
+
+  class Log_Service private(val ssh_context: SSH.Context, progress: Progress)
   {
     current_log.file.delete
 
     private val thread: Consumer_Thread[String] =
       Consumer_Thread.fork("cronjob: logger", daemon = true)(

     }
 
 
     /* log service */
 
-    val log_service = new Log_Service(progress, SSH.init_context(Options.init()))
+    val log_service = Log_Service(Options.init(), progress = progress)
 
     def run(start_date: Date, task: Logger_Task) { log_service.run_task(start_date, task) }
 
     def run_now(task: Logger_Task) { run(Date.now(), task) }