# HG changeset patch
# User wenzelm
# Date 1476301816 -7200
# Node ID e7863057df412a616e251ade9cddcf6283ebfc45
# Parent  568cd512395274499016fd39852431ac8a9a22ca
tuned;

diff -r 568cd5123952 -r e7863057df41 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Wed Oct 12 21:35:36 2016 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Wed Oct 12 21:50:16 2016 +0200
@@ -125,8 +125,6 @@
 
   /** cronjob **/
 
-  private val all_tasks = List(isabelle_identify)
-
   def cronjob(progress: Progress)
   {
     /* soft lock */
@@ -167,7 +165,7 @@
     /* main */
 
     log_service.run_task(main_start_date,
-      Logger_Task("isabelle_cronjob", _ => parallel_tasks(all_tasks)))
+      Logger_Task("isabelle_cronjob", _ => parallel_tasks(List(isabelle_identify))))
 
     log_service.shutdown()