Mercurial > openid

view tests/test.ur @ 59:3113591ba7f0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Change error message delivery so that IE's 500 message hiding doesn't apply
author Adam Chlipala <adam@chlipala.net>
date Tue, 09 Aug 2011 10:05:50 -0400
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>