Mercurial > openid
comparison src/ur/openidUser.ur @ 26:ee97bc0e08fa
Some default OPs, along with some tweaks to keep them happy
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 23 Jan 2011 14:57:49 -0500 |
parents | c560ec5bf514 |
children | f129ddee75f3 |
comparison
equal
deleted
inserted
replaced
25:c560ec5bf514 | 26:ee97bc0e08fa |
---|---|
1 style provider | |
2 | |
3 style aol | |
4 style google | |
5 style myspace | |
6 style yahoo | |
7 | |
1 functor Make(M: sig | 8 functor Make(M: sig |
2 con cols :: {Type} | 9 con cols :: {Type} |
3 constraint [Id] ~ cols | 10 constraint [Id] ~ cols |
4 val folder : folder cols | 11 val folder : folder cols |
5 val inj : $(map sql_injectable cols) | 12 val inj : $(map sql_injectable cols) |
249 Realm = M.realm, | 256 Realm = M.realm, |
250 Identifier = r.Identifier}; | 257 Identifier = r.Identifier}; |
251 error <xml>Login with your identity provider failed: {[msg]}</xml> | 258 error <xml>Login with your identity provider failed: {[msg]}</xml> |
252 | 259 |
253 fun signup after = | 260 fun signup after = |
254 wrap "Account Signup" <xml> | 261 let |
255 <form> | 262 fun fixed cls label url = |
256 OpenID Identifier: <textbox{#Identifier}/><br/> | 263 let |
257 <submit value="Sign Up" action={doSignup after}/> | 264 fun doFixedButton () = |
258 </form> | 265 doSignup after {Identifier = url} |
259 </xml> | 266 in |
267 <xml><form class={provider}> | |
268 <submit class={cls} value={label} action={doFixedButton}/> | |
269 </form></xml> | |
270 end | |
271 in | |
272 wrap "Account Signup" <xml> | |
273 <p>This web site uses the <b><a href="http://openid.net/">OpenID</a></b> standard, which lets you log in using your account from one of several popular web sites, without revealing your password to us.</p> | |
274 | |
275 <p>You may click one of these buttons to choose to use your account from that site:</p> | |
276 {fixed aol "AOL" "https://openid.aol.com/"} | |
277 {fixed google "Google" "https://www.google.com/accounts/o8/id"} | |
278 {fixed myspace "Myspace" "https://www.myspace.com/openid"} | |
279 {fixed yahoo "Yahoo!" "https://me.yahoo.com/"} | |
280 | |
281 <p>Visitors familiar with the details of OpenID may also enter their own identifiers:</p> | |
282 <form> | |
283 OpenID Identifier: <textbox{#Identifier}/><br/> | |
284 <submit value="Sign Up" action={doSignup after}/> | |
285 </form> | |
286 </xml> | |
287 end | |
260 in | 288 in |
261 cur <- current; | 289 cur <- current; |
262 here <- currentUrl; | 290 here <- currentUrl; |
263 case cur of | 291 case cur of |
264 Some cur => return {Status = <xml>Logged in as {[cur]}.</xml>, | 292 Some cur => return {Status = <xml>Logged in as {[cur]}.</xml>, |