author | wenzelm |
Tue, 30 Jan 2024 12:48:27 +0100 | |
changeset 79545 | b8a6b2ec85a2 |
parent 79543 | bbed18f7a522 |
child 79546 | c9774306a879 |
--- a/src/Pure/Admin/isabelle_cronjob.scala Mon Jan 29 21:18:11 2024 +0100 +++ b/src/Pure/Admin/isabelle_cronjob.scala Tue Jan 30 12:48:27 2024 +0100 @@ -476,8 +476,7 @@ res match { case Exn.Res(_) => None case Exn.Exn(exn) => - Output.writeln("Exception trace for " + quote(task.name) + ":") - exn.printStackTrace() + Output.writeln("Exception trace for " + quote(task.name) + ":\n" + Exn.trace(exn)) val first_line = split_lines(Exn.message(exn)).headOption getOrElse "exception" Some(first_line) }