src/Pure/Admin/isabelle_cronjob.scala
changeset 67178 70576478bda9
parent 67103 39cc38a06610
child 67568 fc2b303070da
     1.1 --- a/src/Pure/Admin/isabelle_cronjob.scala	Sun Dec 10 18:43:08 2017 +0100
     1.2 +++ b/src/Pure/Admin/isabelle_cronjob.scala	Sun Dec 10 20:29:00 2017 +0100
     1.3 @@ -346,7 +346,7 @@
     1.4          res match {
     1.5            case Exn.Res(_) => None
     1.6            case Exn.Exn(exn) =>
     1.7 -            System.err.println("Exception trace for " + quote(task.name) + ":")
     1.8 +            Output.writeln("Exception trace for " + quote(task.name) + ":")
     1.9              exn.printStackTrace()
    1.10              val first_line = split_lines(Exn.message(exn)).headOption getOrElse "exception"
    1.11              Some(first_line)