[hcoop/portal.git] / passgen / exn.mlt

<html><head>
<title>Hcoop Passgen: 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, ...} => %>
<b>IO error</b>: <% Web.html name %> for <% Web.html function %><br>
<% | PassGen.C.Sql msg => %>
<b>SQL</b>: <% Web.htmlNl msg %>
<% | Web.Format s => %>
<b>Format</b>: <% Web.htmlNl s %>

<% | 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
b12b0824 AC	1	<html><head>
	2	<title>Hcoop Passgen: 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, ...} => %>
	15	<b>IO error</b>: <% Web.html name %> for <% Web.html function %><br>
	16	<% \| PassGen.C.Sql msg => %>
	17	<b>SQL</b>: <% Web.htmlNl msg %>
	18	<% \| Web.Format s => %>
	19	<b>Format</b>: <% Web.htmlNl s %>
	20
	21	<% \| ex => %>
	22	<b>Unknown exception kind.</b> Backtrace:
	23	<% foreach s in SMLofNJ.exnHistory ex do %>
	24	<li> <% Web.html s %></li>
	25	<% end
	26	end %>
	27
	28	</body></html>