[gecode-users] Server migration...

[Stefano Gualandi]

Hi Christian,
this morning I tried to update my trunk version, for the first time after the server migration, and something went wrong (see below).
I guess a new check-out would solve the problem, but maybe your are interested anyway.

cheers,
Stefano



~/Programming/C++/Gecode/trunk $ svn update

Error validating server certificate for 'https://svn.gecode.org:443':
 - The certificate is not issued by a trusted authority. Use the
   fingerprint to validate the certificate manually!
 - The certificate hostname does not match.
Certificate information:
 - Hostname: localhost.localdomain
 - Valid: from Mon, 05 Oct 2009 09:40:21 GMT until Thu, 03 Oct 2019 09:40:21 GMT
 - Issuer: localhost.localdomain
 - Fingerprint: 80:34:c4:c2:3a:d9:ac:fd:0c:00:f5:7f:b3:b8:29:f5:bb:53:0a:5f
(R)eject, accept (t)emporarily or accept (p)ermanently? p
A    test/int/sequence.cpp
U    test/int/arithmetic.cpp
svn: Server sent unexpected return value (403 Forbidden) in response to OPTIONS request for 'https://svn.gecode.org/svn'

~/Programming/C++/Gecode/trunk $




On Nov 27, 2009, at 14:01 PM, Christian Schulte wrote:

> Dear all,
>  
> the server migration is done. So everything should work as before. Please let us know if anything does not work as expected.
>  
> All the best
> Christian
>  
> --
> Christian Schulte, www.ict.kth.se/~cschulte/
>  
> From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf Of Christian Schulte
> Sent: Thursday, November 26, 2009 5:22 PM
> To: 'gecode gecode'
> Subject: [gecode-users] Server migration...
>  
> Dear all,
>  
> We are in the process of migrating gecode.org to a new server. Please expect some hick-ups in the near future. Right now, we are migrating the svn, so svn access will not be possible for some time. We will let you know when svn migration is done and also about other quirks to come.
>  
> Sorry for any inconvenience.
>  
> Christian
>  
> _______________________________________________
> Gecode users mailing list
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users