Mercurial > openid
comparison src/ur/openidUser.urs @ 25:c560ec5bf514
More flexibility in placement of login form and other similar stuff
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Thu, 20 Jan 2011 12:23:44 -0500 |
| parents | e5df3d3554d3 |
| children | ee97bc0e08fa |
comparison
equal
deleted
inserted
replaced
| 24:b416b9b9dc38 | 25:c560ec5bf514 |
|---|---|
| 76 PRIMARY KEY Id | 76 PRIMARY KEY Id |
| 77 | 77 |
| 78 val current : transaction (option user) | 78 val current : transaction (option user) |
| 79 (* Figure out which, if any, user is logged in on this connection. *) | 79 (* Figure out which, if any, user is logged in on this connection. *) |
| 80 | 80 |
| 81 val main : (string -> xbody -> transaction page) -> transaction xbody | 81 val main : (string -> xbody -> transaction page) -> transaction {Status : xbody, |
| 82 Other : xbody} | |
| 82 (* Pass in your generic page template; get out the HTML snippet for user | 83 (* Pass in your generic page template; get out the HTML snippet for user |
| 83 * management, suitable for, e.g., inclusion in your standard page | 84 * management, suitable for, e.g., inclusion in your standard page |
| 84 * header. *) | 85 * header. The output gives a "status" chunk, which will either be a login |
| 86 * form or a message about which user is logged in; and an "other" chunk, | |
| 87 * which will be a log out or sign up link. *) | |
| 85 | 88 |
| 86 end | 89 end |