Mercurial > openid
diff src/ur/openid.urs @ 4:2d409aff8800
Received an OpenID authentication response, but haven't checked it yet
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 26 Dec 2010 17:19:52 -0500 |
parents | f59083771ee2 |
children | 870d99055dd1 |
line wrap: on
line diff
--- a/src/ur/openid.urs Sun Dec 26 15:11:23 2010 -0500 +++ b/src/ur/openid.urs Sun Dec 26 17:19:52 2010 -0500 @@ -1,4 +1,3 @@ -val discover : string -> transaction (option {Endpoint : string, LocalId : option string}) - -datatype association = Handle of string | Error of string -val association : string -> transaction association +val authenticate : string -> transaction string +(* Doesn't return normally if everything goes as planned. + * Instead, the user is redirected to his OP to authenticate there. *)