-<% @header [("title", ["Confirm application"])];
-
-val id = Web.stoi ($"id");
-val passwd = $"p";
-
-if App.confirm (id, passwd) then
- %><h3><b>Confirmation successful</b></h3>
- You should hear from us within a few days from now.<%
-else
- %><h3><b>Error confirming</b></h3>
- Did you already follow this confirmation link?<%
-end;
-
-@footer[] %>
\ No newline at end of file
+<% @header [("title", ["Confirm application"])];
+
+val id = Web.stoi ($"id");
+val passwd = $"p";
+
+switch App.confirm (id, passwd) of
+ SOME unix_passwd =>
+ %><h3><b>Confirmation successful</b></h3>
+ You should hear from us within a few days from now. Save this password, to use to access our servers if your application is approved:
+ <blockquote><tt><% Web.html unix_passwd %></tt></blockquote><%
+ | NONE =>
+ %><h3><b>Error confirming</b></h3>
+ Did you already follow this confirmation link?<%
+end;
+
+@footer[] %>
\ No newline at end of file