<title>Hcoop Portal: Exception</title>
</head><body>
-<h1><b>Exception</b></h1>
+<h1>Exception</h1>
<% switch Web.getExn () of
Fail msg => %>
<b>Fail</b>: <% Web.htmlNl msg %>
+<% | OS.SysErr (name, NONE) => %>
+<b>System error</b>: <% Web.html name %>
+<% | OS.SysErr (name, SOME syserr) => %>
+<b>System error</b>: <% Web.html name %>: <% Web.html (OS.errorName syserr) %>: <% Web.htmlNl (OS.errorMsg syserr) %>
+<% | IO.Io {name, function, cause, ...} => %>
+<b>IO error</b>: <% Web.html name %> for <% Web.html function %><br>
+<b>Cause</b>: <% Web.html (Init.explain cause) %><br>
+<b>Tokens</b>: <p><% Web.htmlNl (Init.tokens ()) %></p>
<% | Init.C.Sql msg => %>
<b>SQL</b>: <% Web.htmlNl msg %>
<% | Init.Access msg => %>