| 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 | |
| 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 | |
| 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 | |
| 57 | </body></html> |