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/System/bash.scala
changeset 73230 d1bc5a376cf9
parent 73228 0575cfd2ecfc
child 73263 ad60214bef09 
--- a/src/Pure/System/bash.scala	Sun Feb 07 17:00:03 2021 +0100
+++ b/src/Pure/System/bash.scala	Sun Feb 07 20:39:15 2021 +0100
@@ -230,7 +230,7 @@
         val string = XML.Encode.string
         variant(List(
           { case _ if is_interrupt => (Nil, Nil) },
-          { case Exn.Exn(exn) => (List(Exn.message(exn)), Nil) },
+          { case Exn.Exn(exn) => (Nil, string(Exn.message(exn))) },
           { case Exn.Res((res, pid)) =>
               val out = Library.terminate_lines(res.out_lines)
               val err = Library.terminate_lines(res.err_lines)
isabelle