# HG changeset patch
# User wenzelm
# Date 1477491337 -7200
# Node ID 89da169f66fa423874ea505fe243dc747ba4422d
# Parent  70c87ca55f2c3d0f2a59c8ad1d6f8d8d1fae32ab
more informative error (see 6e9c22c494c5);

diff -r 70c87ca55f2c -r 89da169f66fa src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Wed Oct 26 16:05:41 2016 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Wed Oct 26 16:15:37 2016 +0200
@@ -176,6 +176,7 @@
         res match {
           case Exn.Res(_) => None
           case Exn.Exn(exn) =>
+            System.err.println("Exception trace for " + quote(task.name) + ":")
             exn.printStackTrace()
             val first_line = Library.split_lines(Exn.message(exn)).headOption getOrElse "exception"
             Some(first_line)