Mercurial > openid
diff src/ur/openidUser.urs @ 48:3f475c6fb168
Make logout clear the session on the server
(which necessitates turning it from a link into a button)
| author | Robin Green <greenrd@greenrd.org> |
|---|---|
| date | Mon, 04 Jul 2011 14:08:00 +0100 |
| parents | e31baf0f275e |
| children | a984dc1c8954 |
line wrap: on
line diff
--- a/src/ur/openidUser.urs Sun Jul 03 14:09:03 2011 -0400 +++ b/src/ur/openidUser.urs Mon Jul 04 14:08:00 2011 +0100 @@ -15,8 +15,8 @@ val formatUser : xbody -> xbody (* Format the display of the logged on user *) - val formatLogout : url -> xbody - (* Format the logout link *) + val formatLogout : ($([]) -> transaction page) -> xbody + (* Format the logout button *) val formatSignup : url -> xbody (* Format the signup link *) @@ -107,14 +107,15 @@ val main : (string -> xbody -> transaction page) -> transaction {Status : xbody, - Other : {Url : url, Xml : xbody}} + Other : {Url : option url, Xml : xbody}} (* Pass in your generic page template; get out the HTML snippet for user * management, suitable for, e.g., inclusion in your standard page * header. The output gives a "status" chunk, which will either be a login * form or a message about which user is logged in; and an "other" chunk, - * which will be a log out or sign up link. In the case "other", the link - * itself is also provided for cases when one format is not enough. *) + * which will be a log out button or sign up link. In the case of "other", + * the link itself (if available) is also provided for cases when one + * format is not enough. *) end