Hi! I've tried persona and faced a verification failures. Debugging showed me a curl SSL problem:
* About to connect() to verifier.login.persona.org port 443 (#0) * Trying 107.23.187.236... * Adding handle: conn: 0x7f3714066e40 * Adding handle: send: 0 * Adding handle: recv: 0 * Curl_addHandleToPipeline: length: 1 * - Conn 0 (0x7f3714066e40) send_pipe: 1, recv_pipe: 0 * Connected to verifier.login.persona.org (107.23.187.236) port 443 (#0) * SSL certificate problem: unable to get local issuer certificate * Closing connection 0 It is possible to workaround it by changing CURLOPT_SSL_VERIFYPEER to 0. This probably means that I don't have some important certificates installed (I'm not an SSL expert, so I may be wrong). Can anybody advise me what to check first? Regards, Sergey 2013/11/26 Chris Double <[email protected]>: > On Sat, Nov 23, 2013 at 6:21 AM, Adam Chlipala <[email protected]> wrote: >> Two niggly code comments: >> 1) Why give [session.Identifier] an [option] type? It seems always to be >> [Some] here. >> 2) Near the end of the .ur file appears the code [v <- signal s; return v]. >> By the usual monad laws, this is equivalent to [signal s] by itself. > > Thanks for these, I'll fix them up. > >> Do you have plans to package this code as a library, encapsulating protocol >> details much as the openid library does? I can see it making sense to >> expand the openid library to cover a variety of protocols, possibly also >> including Facebook Connect. > > I'd like to package it and I was considering adding it to the openid > library. The current project was my attempt at getting it working > first to understand how to integrate it with Ur/Web. I'll see how I go > after using Persona for a bit in my project to see if it's worthwhile. > > -- > http://www.bluishcoder.co.nz > > _______________________________________________ > Ur mailing list > [email protected] > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
