annotate tests/test.ur @ 8:870d99055dd1

Diffie-Hellman started but not fully tested; successfully checked signature from AOL
author Adam Chlipala <adam@chlipala.net>
date Wed, 29 Dec 2010 12:16:32 -0500
parents 2d409aff8800
children 194577b60771
rev   line source
adam@4 1 fun auth r =
adam@8 2 msg <- Openid.authenticate Openid.HMAC_SHA256 Openid.NoEncryption r.Id;
adam@4 3 error <xml>{[msg]}</xml>
adam@1 4
adam@1 5 fun main () = return <xml><body>
adam@1 6 <form>
adam@1 7 <textbox{#Id}/>
adam@4 8 <submit action={auth}/>
adam@1 9 </form>
adam@1 10 </body></xml>