Mercurial > openid

annotate src/ur/openid.urs @ 7:976121190b2d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 val authenticate : string -> transaction string
adam@4 2 (* Doesn't return normally if everything goes as planned.
adam@4 3 * Instead, the user is redirected to his OP to authenticate there. *)