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/General/http.scala
changeset 65828 02dd430d80c5
parent 65088 18f2d388fab4
child 65999 ee4cf96a9406 
--- a/src/Pure/General/http.scala	Sun May 14 17:01:05 2017 +0200
+++ b/src/Pure/General/http.scala	Sun May 14 17:05:06 2017 +0200
@@ -77,7 +77,7 @@
             case Exn.Res(None) =>
               http.write_response(404, Response.empty)
             case Exn.Exn(ERROR(msg)) =>
-              http.write_response(500, Response.text(Output.error_text(msg)))
+              http.write_response(500, Response.text(Output.error_message_text(msg)))
             case Exn.Exn(exn) => throw exn
           }
         else http.write_response(400, Response.empty)
isabelle