X-Git-Url: https://git.hcoop.net/hcoop/portal.git/blobdiff_plain/f3f3ad24b001552bdb1b7535fc8434d6889ef2bc..008fc9cec2aa4995e9add4ab70bb089ec0449092:/exn.mlt
diff --git a/exn.mlt b/exn.mlt
index 31b13bf..b28705f 100644
--- a/exn.mlt
+++ b/exn.mlt
@@ -2,11 +2,19 @@
Hcoop Portal: Exception
-Exception
+Exception
<% switch Web.getExn () of
Fail msg => %>
Fail: <% Web.htmlNl msg %>
+<% | OS.SysErr (name, NONE) => %>
+System error: <% Web.html name %>
+<% | OS.SysErr (name, SOME syserr) => %>
+System error: <% Web.html name %>: <% Web.html (OS.errorName syserr) %>: <% Web.htmlNl (OS.errorMsg syserr) %>
+<% | IO.Io {name, function, cause, ...} => %>
+IO error: <% Web.html name %> for <% Web.html function %>
+Cause: <% Web.html (Init.explain cause) %>
+Tokens: <% Web.htmlNl (Init.tokens ()) %>
<% | Init.C.Sql msg => %>
SQL: <% Web.htmlNl msg %>
<% | Init.Access msg => %>