annotate tests/test.ur @ 7:976121190b2d

Authentication verification almost working: signatures not computing correctly
author Adam Chlipala <adam@chlipala.net>
date Tue, 28 Dec 2010 19:57:25 -0500
parents 2d409aff8800
children 870d99055dd1
rev   line source
adam@4 1 fun auth r =
adam@4 2 msg <- Openid.authenticate 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>