Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/isabelle_cronjob.scala
changeset 78768 280a228dc2f1
parent 78744 a11c461a1a3a
child 78771 d7f4c5c7bebb 
--- a/src/Pure/Admin/isabelle_cronjob.scala	Thu Oct 12 20:58:15 2023 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Thu Oct 12 21:11:59 2023 +0200
@@ -481,7 +481,7 @@
 
     def run_task(start_date: Date, task: Logger_Task): Unit = {
       val logger = start_logger(start_date, task.name)
-      val res = Exn.capture { task.body(logger) }
+      val res = Exn.result { task.body(logger) }
       val end_date = Date.now()
       val err =
         res match {
isabelle