Mercurial > openid

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

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
comparison
equal deleted inserted replaced
38:8d23d76b5d48 39:f6b3fbf10dac
270 fakeCallback ident after ses 270 fakeCallback ident after ses
271 else 271 else
272 msg <- Openid.authenticate (opCallback after ses) 272 msg <- Openid.authenticate (opCallback after ses)
273 {Association = M.association, 273 {Association = M.association,
274 Realm = M.realm, 274 Realm = M.realm,
275 Identifier = ident}; 275 Identifier = Openid.KnownIdentifier ident};
276 error <xml>Login with your identity provider failed: {[msg]}</xml> 276 error <xml>Login with your identity provider failed: {[msg]}</xml>
277 277
278 fun doSignup after r = 278 fun doSignup after r =
279 ses <- newSession (); 279 ses <- newSession ();
280 setCookie auth {Value = SigningUp ses, 280 setCookie auth {Value = SigningUp ses,
285 fakeCallback r.Identifier after ses 285 fakeCallback r.Identifier after ses
286 else 286 else
287 msg <- Openid.authenticate (opCallback after ses) 287 msg <- Openid.authenticate (opCallback after ses)
288 {Association = M.association, 288 {Association = M.association,
289 Realm = M.realm, 289 Realm = M.realm,
290 Identifier = r.Identifier}; 290 Identifier = Openid.ChooseIdentifier r.Identifier};
291 error <xml>Login with your identity provider failed: {[msg]}</xml> 291 error <xml>Login with your identity provider failed: {[msg]}</xml>
292 292
293 fun signup after = 293 fun signup after =
294 let 294 let
295 fun fixed cls url = 295 fun fixed cls url =