[Ur] Using Persona Authentication API

[Sergey Mironov]

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 <chris.double at double.co.nz>:
> On Sat, Nov 23, 2013 at 6:21 AM, Adam Chlipala <adamc at csail.mit.edu> 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
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur