diff src/ur/openidUser.ur @ 39:f6b3fbf10dac

Proper handling of known vs. to-be-chosen identifiers
author Adam Chlipala <adam@chlipala.net>
date Wed, 01 Jun 2011 07:51:55 -0400
parents e31baf0f275e
children c39c3f63854a 3f475c6fb168
line wrap: on
line diff
--- a/src/ur/openidUser.ur	Mon May 16 22:31:26 2011 -0400
+++ b/src/ur/openidUser.ur	Wed Jun 01 07:51:55 2011 -0400
@@ -272,7 +272,7 @@
                         msg <- Openid.authenticate (opCallback after ses)
                                                    {Association = M.association,
                                                     Realm = M.realm,
-                                                    Identifier = ident};
+                                                    Identifier = Openid.KnownIdentifier ident};
                         error <xml>Login with your identity provider failed: {[msg]}</xml>
 
             fun doSignup after r =
@@ -287,7 +287,7 @@
                     msg <- Openid.authenticate (opCallback after ses)
                                                {Association = M.association,
                                                 Realm = M.realm,
-                                                Identifier = r.Identifier};
+                                                Identifier = Openid.ChooseIdentifier r.Identifier};
                     error <xml>Login with your identity provider failed: {[msg]}</xml>
 
             fun signup after =