exn.mlt

   1 <% @header [("title", ["Exception"])] %>
   2
   3 <% switch Web.getExn () of
   4      Fail msg => %>
   5 <b>Fail</b>: <% Web.htmlNl msg %>
   6 <% | Init.C.Sql msg => %>
   7 <b>SQL</b>: <% Web.htmlNl msg %>
   8 <% | Init.Access msg => %>
   9 <b>Authorization error</b>: <% Web.htmlNl msg %>
  10 <% | Web.Format s => %>
  11 <b>Format</b>: <% Web.htmlNl s %>
  12 <% | ex => %>
  13 <b>Unknown exception kind.</b> Backtrace:
  14 <% foreach s in SMLofNJ.exnHistory ex do %>
  15 <li> <% Web.html s %></li>
  16 <% end
  17 end %>
  18
  19 <% @footer [] %>