Mercurial > openid
comparison src/ur/openidUser.urs @ 23:e5df3d3554d3
fakeId parameter
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 16 Jan 2011 13:21:34 -0500 |
parents | 2342d9baa0df |
children | c560ec5bf514 |
comparison
equal
deleted
inserted
replaced
22:70ab0230649b | 23:e5df3d3554d3 |
---|---|
57 * of realms. *) | 57 * of realms. *) |
58 | 58 |
59 val formClass : css_class | 59 val formClass : css_class |
60 (* CSS class for <table>, <th>, and <td> elements used in | 60 (* CSS class for <table>, <th>, and <td> elements used in |
61 * sign-up form *) | 61 * sign-up form *) |
62 | |
63 val fakeId : option string | |
64 (* If set, this string is always accepted as a verified | |
65 * identifier, which can be useful during development (say, | |
66 * when you're off-network). *) | |
62 end) : sig | 67 end) : sig |
63 | 68 |
64 type user | 69 type user |
65 val show_user : show user | 70 val show_user : show user |
66 val inj_user : sql_injectable_prim user | 71 val inj_user : sql_injectable_prim user |