# HG changeset patch
# User wenzelm
# Date 1706615307 -3600
# Node ID b8a6b2ec85a2f43aef124eecadc3c15eff477c2f
# Parent  bbed18f7a522ced1bc3c73c87a5b4f2f80f6d0df
more robust message;

diff -r bbed18f7a522 -r b8a6b2ec85a2 src/Pure/Admin/isabelle_cronjob.scala
--- 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)
         }