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) %> |
8023de7b |
14 | <% | IO.Io {name, function, ...} => %> |
15 | <b>IO error</b>: <% Web.html name %> for <% Web.html function %> |
8d347a33 |
16 | <% | Init.C.Sql msg => %> |
17 | <b>SQL</b>: <% Web.htmlNl msg %> |
18 | <% | Init.Access msg => %> |
19 | <b>Authorization error</b>: <% Web.htmlNl msg %> |
20 | <% | Web.Format s => %> |
21 | <b>Format</b>: <% Web.htmlNl s %> |
5146e435 |
22 | |
23 | <% | Init.NeedTos => %> |
24 | <p><b>Our records indicate that you need to agree to our Terms of Service.</b></p> |
25 | |
26 | <% val ap = #app (Init.getUser ()); |
27 | |
28 | App.readTosBody () %> |
29 | |
30 | <br><hr><br> |
31 | <form action="portal" method="post"> |
32 | |
33 | <% val ap = App.lookupApp ap; |
34 | switch #gname ap of |
35 | NONE => %> |
36 | <b>Real name:</b> <% Web.html (#rname ap) %><br> |
37 | <input type="checkbox" name="agree"> |
38 | <% App.readTosAgree () |
39 | | SOME gname => %> |
40 | <b>Member name:</b> <% Web.html (#rname ap) %><br> |
41 | <b>Legal guardian name:</b> <% Web.html gname %><br> |
42 | <input type="checkbox" name="agree"> |
43 | <% App.readTosMinorAgree () |
44 | end %> |
45 | <br><br><input type="submit" value="Agree"> |
46 | </form> |
47 | |
8d347a33 |
48 | <% | ex => %> |
49 | <b>Unknown exception kind.</b> Backtrace: |
50 | <% foreach s in SMLofNJ.exnHistory ex do %> |
51 | <li> <% Web.html s %></li> |
52 | <% end |
53 | end %> |
54 | |
369e1577 |
55 | </body></html> |