--- 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()