# HG changeset patch
# User wenzelm
# Date 1699111862 -3600
# Node ID 3523df57df5158e517ed012f87edaeb12357025b
# Parent  801f8237cc5e67a17e7cfb6e78a443c4139a9b40
tuned output;

diff -r 801f8237cc5e -r 3523df57df51 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sat Nov 04 16:30:24 2023 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sat Nov 04 16:31:02 2023 +0100
@@ -630,6 +630,8 @@
     File.write(main_state_file, main_start_date.toString + " " + log_service.hostname)
 
     val build_log_database_progress = new File_Progress(build_log_database_log, verbose = true)
+    build_log_database_progress.echo(
+      "Started at " + Build_Log.print_date(build_log_database_progress.start))
 
     run(main_start_date,
       Logger_Task("isabelle_cronjob", logger =>