# HG changeset patch
# User wenzelm
# Date 1478776443 -3600
# Node ID caf62923039baaf5623813318ea0ba99a781c970
# Parent  84e1655ad7778ecdeae6c19cd3b35c06944d51df
more logging, to see better when files written;

diff -r 84e1655ad777 -r caf62923039b src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Thu Nov 10 10:41:41 2016 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Thu Nov 10 12:14:03 2016 +0100
@@ -129,8 +129,10 @@
                     "-r " + Bash.string(rev) + " -N " + Bash.string(task_name) + " -f " + r.options,
                   args = "-o timeout=10800 " + r.args)
 
-              for ((log_name, bytes) <- results)
+              for ((log_name, bytes) <- results) {
+                logger.log(Date.now(), log_name)
                 Bytes.write(logger.log_dir + Path.explode(log_name), bytes)
+              }
             })
       })
   }