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>,