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