--- a/src/Pure/Admin/isabelle_cronjob.scala Sat Oct 22 20:15:36 2022 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala Sat Oct 22 21:20:55 2022 +0200
@@ -453,9 +453,10 @@
val hostname: String = Isabelle_System.hostname()
def log(date: Date, task_name: String, msg: String): Unit =
- if (task_name != "")
+ if (task_name != "") {
thread.send(
"[" + Build_Log.print_date(date) + ", " + hostname + ", " + task_name + "]: " + msg)
+ }
def start_logger(start_date: Date, task_name: String): Logger =
new Logger(this, start_date, task_name)
@@ -537,8 +538,7 @@
/* structured tasks */
def SEQ(tasks: List[Logger_Task]): Logger_Task = Logger_Task(body = _ =>
- for (task <- tasks.iterator if !exclude_task(task.name) || task.name == "")
- run_now(task))
+ for (task <- tasks.iterator if !exclude_task(task.name) || task.name == "") run_now(task))
def PAR(tasks: List[Logger_Task]): Logger_Task =
Logger_Task(body =