[hcoop/portal.git] / exn.mlt

<html><head>
<title>Hcoop Portal: Exception</title>
</head><body>

<h1>Exception</h1>

<% switch Web.getExn () of
     Fail msg => %>
<b>Fail</b>: <% Web.htmlNl msg %>
<% | OS.SysErr (name, NONE) => %>
<b>System error</b>: <% Web.html name %>
<% | OS.SysErr (name, SOME syserr) => %>
<b>System error</b>: <% Web.html name %>: <% Web.html (OS.errorName syserr) %>: <% Web.htmlNl (OS.errorMsg syserr) %>
<% | IO.Io {name, function, cause, ...} => %>
<b>IO error</b>: <% Web.html name %> for <% Web.html function %><br>
<b>Cause</b>: <% Web.html (Init.explain cause) %><br>
<b>Tokens</b>: <p><% Web.htmlNl (Init.tokens ()) %></p>
<% | Init.C.Sql msg => %>
<b>SQL</b>: <% Web.htmlNl msg %>
<% | Init.Access msg => %>
<b>Authorization error</b>: <% Web.htmlNl msg %>
<% | Web.Format s => %>
<b>Format</b>: <% Web.htmlNl s %>
<% | DynLinkage.DynLinkError s => %>
<b>Linking error</b>: <% Web.htmlNl s %>

<% | Init.NeedTos => %>
<p><b>Our records indicate that you need to agree to our Terms of Service.</b></p>

<% val ap = #app (Init.getUser ());

App.readTosBody () %>

<br><hr><br>
<form action="portal" method="post">

<% val ap = App.lookupApp ap;
switch #gname ap of
	  NONE => %>
<b>Real name:</b> <% Web.html (#rname ap) %><br>
<input type="checkbox" name="agree">
<% App.readTosAgree ()
	| SOME gname => %>
<b>Member name:</b> <% Web.html (#rname ap) %><br>
<b>Legal guardian name:</b> <% Web.html gname %><br>
<input type="checkbox" name="agree">
<% App.readTosMinorAgree ()
end %>
<br><br><input type="submit" value="Agree">
</form>

<% | ex => %>
<b>Unknown exception kind.</b> Backtrace:
<% foreach s in SMLofNJ.exnHistory ex do %>
<li> <% Web.html s %></li>
<% end
end %>

</body></html>
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) %>
30b8ceb4 AC	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>
208e2cbc AC	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 %>
aaa7d9bc CE	24	<% \| DynLinkage.DynLinkError s => %>
aaa7d9bc CE	25	<b>Linking error</b>: <% Web.htmlNl s %>
f3f3ad24 AC	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
208e2cbc AC	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
ee587f7f	59	</body></html>