Initial revision

[hcoop/zz_old/portal.git] / exn.mlt

<% @header [("title", ["Exception"])] %>

<% switch Web.getExn () of
     Fail msg => %>
<b>Fail</b>: <% Web.htmlNl msg %>
<% | Init.C.Sql msg => %>
<b>SQL</b>: <% Web.htmlNl msg %>
<% | Init.Access msg => %>
<b>Authorization error</b>: <% Web.htmlNl msg %>
<% | Web.Format s => %>
<b>Format</b>: <% Web.htmlNl s %>
<% | ex => %>
<b>Unknown exception kind.</b> Backtrace:
<% foreach s in SMLofNJ.exnHistory ex do %>
<li> <% Web.html s %></li>
<% end
end %>

<% @footer [] %>