Mercurial > openid
view tests/test.ur @ 48:3f475c6fb168
Make logout clear the session on the server
(which necessitates turning it from a link into a button)
author | Robin Green <greenrd@greenrd.org> |
---|---|
date | Mon, 04 Jul 2011 14:08:00 +0100 |
parents | f6b3fbf10dac |
children |
line wrap: on
line source
fun afterward r = return <xml><body> {case r of Openid.Canceled => <xml>You canceled that sucker.</xml> | Openid.Failure s => error <xml>OpenID failure: {[s]}</xml> | Openid.AuthenticatedAs id => <xml>I now know you as <tt>{[id]}</tt>.</xml>} </body></xml> fun auth r = msg <- Openid.authenticate afterward {Association = Openid.Stateful {AssociationType = Openid.HMAC_SHA256, AssociationSessionType = Openid.NoEncryption}, Identifier = Openid.KnownIdentifier r.Id, Realm = Some "http://localhost:8080/"}; error <xml>{[msg]}</xml> fun main () = return <xml><body> <form> <textbox{#Id}/> <submit action={auth}/> </form> </body></xml>