Mercurial > openid

diff 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
line wrap: on
line diff
--- a/src/ur/openidUser.urs	Tue Jul 19 09:27:10 2011 -0400
+++ b/src/ur/openidUser.urs	Sun Jul 24 10:23:50 2011 -0400
@@ -105,6 +105,10 @@
     val current : transaction (option user)
     (* Figure out which, if any, user is logged in on this connection. *)
 
+    val renew : transaction (option user)
+    (* Like [current], but also resets the expiration time of the user's
+     * session, if one is found. *)
+
 
     val main : (string -> xbody -> transaction page) -> transaction {Status : xbody,
                                                                      Other : {Url : url, Xml : xbody}}