| 1 | <% @header[("title", ["Generated passwords"])]; |
| 2 | |
| 3 | Group.requireGroupNum 0; |
| 4 | |
| 5 | if $"id" <> "" then |
| 6 | val id = Web.stoi ($"id"); |
| 7 | switch PassGen.lookup id of |
| 8 | NONE => %>ID not found!<% |
| 9 | | SOME pass => %><table class="blanks"> |
| 10 | <tr> <td>ID:</td> <td><% id %></td> </tr> |
| 11 | <tr> <td>Password:</td> <td><% pass %></td> </tr> |
| 12 | </table><% |
| 13 | end |
| 14 | end %> |
| 15 | |
| 16 | <p><form method="post"><table class="blanks"> |
| 17 | <tr> <td>ID:</td> <td><input name="id" size="5"></td> </tr> |
| 18 | <tr> <td><input type="submit" value="Lookup"></td> </tr> |
| 19 | </table></form></p> |
| 20 | |
| 21 | <% @footer[] %> |