Commit | Line | Data |
---|---|---|
ee587f7f AC |
1 | <html><head> |
2 | <title>Hcoop Portal: Exception</title> | |
3 | </head><body> | |
4 | ||
b6dd1aaf | 5 | <h1>Exception</h1> |
208e2cbc AC |
6 | |
7 | <% switch Web.getExn () of | |
8 | Fail msg => %> | |
9 | <b>Fail</b>: <% Web.htmlNl msg %> | |
dfb0d0d7 AC |
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) %> | |
18eeb749 AC |
14 | <% | IO.Io {name, function, ...} => %> |
15 | <b>IO error</b>: <% Web.html name %> for <% Web.html function %> | |
208e2cbc AC |
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 %> | |
f3f3ad24 AC |
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 | ||
208e2cbc AC |
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 | ||
ee587f7f | 55 | </body></html> |