Mercurial > openid

comparison src/ur/openidUser.urs @ 50:328a429dfedb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
renew
author Adam Chlipala <adam@chlipala.net>
date Sun, 24 Jul 2011 10:23:50 -0400
parents e31baf0f275e
children a984dc1c8954
comparison
equal deleted inserted replaced
47:ba203b170476 50:328a429dfedb
103 PRIMARY KEY Id 103 PRIMARY KEY Id
104 104
105 val current : transaction (option user) 105 val current : transaction (option user)
106 (* Figure out which, if any, user is logged in on this connection. *) 106 (* Figure out which, if any, user is logged in on this connection. *)
107 107
108 val renew : transaction (option user)
109 (* Like [current], but also resets the expiration time of the user's
110 * session, if one is found. *)
111
108 112
109 val main : (string -> xbody -> transaction page) -> transaction {Status : xbody, 113 val main : (string -> xbody -> transaction page) -> transaction {Status : xbody,
110 Other : {Url : url, Xml : xbody}} 114 Other : {Url : url, Xml : xbody}}
111 115
112 (* Pass in your generic page template; get out the HTML snippet for user 116 (* Pass in your generic page template; get out the HTML snippet for user