369e1577 |
1 | <html><head> |
2 | <title>Hcoop Portal: Exception</title> |
3 | </head><body> |
4 | |
1fe415e0 |
5 | <h1>Exception</h1> |
8d347a33 |
6 | |
7 | <% switch Web.getExn () of |
8 | Fail msg => %> |
9 | <b>Fail</b>: <% Web.htmlNl msg %> |
3ad30cf6 |
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) %> |
1ec55b98 |
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> |
8d347a33 |
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 %> |
5146e435 |
24 | |
25 | <% | Init.NeedTos => %> |
26 | <p><b>Our records indicate that you need to agree to our Terms of Service.</b></p> |
27 | |
28 | <% val ap = #app (Init.getUser ()); |
29 | |
30 | App.readTosBody () %> |
31 | |
32 | <br><hr><br> |
33 | <form action="portal" method="post"> |
34 | |
35 | <% val ap = App.lookupApp ap; |
36 | switch #gname ap of |
37 | NONE => %> |
38 | <b>Real name:</b> <% Web.html (#rname ap) %><br> |
39 | <input type="checkbox" name="agree"> |
40 | <% App.readTosAgree () |
41 | | SOME gname => %> |
42 | <b>Member name:</b> <% Web.html (#rname ap) %><br> |
43 | <b>Legal guardian name:</b> <% Web.html gname %><br> |
44 | <input type="checkbox" name="agree"> |
45 | <% App.readTosMinorAgree () |
46 | end %> |
47 | <br><br><input type="submit" value="Agree"> |
48 | </form> |
49 | |
8d347a33 |
50 | <% | ex => %> |
51 | <b>Unknown exception kind.</b> Backtrace: |
52 | <% foreach s in SMLofNJ.exnHistory ex do %> |
53 | <li> <% Web.html s %></li> |
54 | <% end |
55 | end %> |
56 | |
369e1577 |
57 | </body></html> |