Mercurial > openid
comparison src/ur/openidUser.urs @ 31:1be573ac8e2b
Add some formatting options to the user control xml.
author | Karn Kallio <kkallio@eka> |
---|---|
date | Mon, 18 Apr 2011 01:20:39 -0430 |
parents | fcd3a977d77b |
children | 90b8ce9be9f5 a5574ec3991f |
comparison
equal
deleted
inserted
replaced
30:5d6337df5ec7 | 31:1be573ac8e2b |
---|---|
64 | 64 |
65 val fakeId : option string | 65 val fakeId : option string |
66 (* If set, this string is always accepted as a verified | 66 (* If set, this string is always accepted as a verified |
67 * identifier, which can be useful during development (say, | 67 * identifier, which can be useful during development (say, |
68 * when you're off-network). *) | 68 * when you're off-network). *) |
69 | |
70 val ctlDisplay : {User : {Status : xbody, Other : xbody}, | |
71 Guest : {Status : xbody, Other : xbody}} | |
72 (* These help formatting the user status controls *) | |
69 end) : sig | 73 end) : sig |
70 | 74 |
71 type user | 75 type user |
72 val eq_user : eq user | 76 val eq_user : eq user |
73 val show_user : show user | 77 val show_user : show user |