comparison tests/test.ur @ 15:35bc4da563dd

Realms; documentation and license
author Adam Chlipala <adam@chlipala.net>
date Sun, 02 Jan 2011 11:22:30 -0500
parents de04a3fc6b72
children f6b3fbf10dac
comparison
equal deleted inserted replaced
14:6b2a44da71b0 15:35bc4da563dd
5 | Openid.AuthenticatedAs id => <xml>I now know you as <tt>{[id]}</tt>.</xml>} 5 | Openid.AuthenticatedAs id => <xml>I now know you as <tt>{[id]}</tt>.</xml>}
6 </body></xml> 6 </body></xml>
7 7
8 fun auth r = 8 fun auth r =
9 msg <- Openid.authenticate afterward 9 msg <- Openid.authenticate afterward
10 {Association = Openid.Stateless (* Openid.Stateful {AssociationType = Openid.HMAC_SHA256, 10 {Association = Openid.Stateful {AssociationType = Openid.HMAC_SHA256,
11 AssociationSessionType = Openid.NoEncryption} *), 11 AssociationSessionType = Openid.NoEncryption},
12 Identifier = r.Id}; 12 Identifier = r.Id,
13 Realm = Some "http://localhost:8080/"};
13 error <xml>{[msg]}</xml> 14 error <xml>{[msg]}</xml>
14 15
15 fun main () = return <xml><body> 16 fun main () = return <xml><body>
16 <form> 17 <form>
17 <textbox{#Id}/> 18 <textbox{#Id}/>