changeset 64410 | 89da169f66fa |
parent 64409 | 70c87ca55f2c |
child 64452 | b52141002646 |
--- 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)