Mercurial > openid
diff 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 |
line wrap: on
line diff
--- a/src/ur/openidUser.urs Sat Jan 15 15:24:42 2011 -0500 +++ b/src/ur/openidUser.urs Sun Jan 16 13:21:34 2011 -0500 @@ -59,6 +59,11 @@ val formClass : css_class (* CSS class for <table>, <th>, and <td> elements used in * sign-up form *) + + val fakeId : option string + (* If set, this string is always accepted as a verified + * identifier, which can be useful during development (say, + * when you're off-network). *) end) : sig type user