exn.mlt

   1 <html><head>
   2 <title>Hcoop Portal: Exception</title>
   3 </head><body>
   4
   5 <h1>Exception</h1>
   6
   7 <% switch Web.getExn () of
   8      Fail msg => %>
   9 <b>Fail</b>: <% Web.htmlNl msg %>
  10 <% | OS.SysErr (name, NONE) => %>
  11 <b>System error</b>: <% Web.html name %>
  12 <% | OS.SysErr (name, SOME syserr) => %>
  13 <b>System error</b>: <% Web.html name %>: <% Web.html (OS.errorName syserr) %>: <% Web.htmlNl (OS.errorMsg syserr) %>
  14 <% | IO.Io {name, function, cause, ...} => %>
  15 <b>IO error</b>: <% Web.html name %> for <% Web.html function %><br>
  16 <b>Cause</b>: <% Web.html (Init.explain cause) %><br>
  17 <b>Tokens</b>: <p><% Web.htmlNl (Init.tokens ()) %></p>
  18 <% | Init.C.Sql msg => %>
  19 <b>SQL</b>: <% Web.htmlNl msg %>
  20 <% | Init.Access msg => %>
  21 <b>Authorization error</b>: <% Web.htmlNl msg %>
  22 <% | Web.Format s => %>
  23 <b>Format</b>: <% Web.htmlNl s %>
  24 <% | DynLinkage.DynLinkError s => %>
  25 <b>Linking error</b>: <% Web.htmlNl s %>
  26
  27 <% | Init.NeedTos => %>
  28 <p><b>Our records indicate that you need to agree to our Terms of Service.</b></p>
  29
  30 <% val ap = #app (Init.getUser ());
  31
  32 App.readTosBody () %>
  33
  34 <br><hr><br>
  35 <form action="portal" method="post">
  36
  37 <% val ap = App.lookupApp ap;
  38 switch #gname ap of
  39           NONE => %>
  40 <b>Real name:</b> <% Web.html (#rname ap) %><br>
  41 <input type="checkbox" name="agree">
  42 <% App.readTosAgree ()
  43         | SOME gname => %>
  44 <b>Member name:</b> <% Web.html (#rname ap) %><br>
  45 <b>Legal guardian name:</b> <% Web.html gname %><br>
  46 <input type="checkbox" name="agree">
  47 <% App.readTosMinorAgree ()
  48 end %>
  49 <br><br><input type="submit" value="Agree">
  50 </form>
  51
  52 <% | ex => %>
  53 <b>Unknown exception kind.</b> Backtrace:
  54 <% foreach s in SMLofNJ.exnHistory ex do %>
  55 <li> <% Web.html s %></li>
  56 <% end
  57 end %>
  58
  59 </body></html>