[gecode-users] Server migration...

Christian Schulte cschulte at kth.se
Mon Dec 14 10:26:56 CET 2009


Hi Stefano,

thanks for letting us know: that's for Guido to look at (but he is awayish).

Cheers
Christian

--
Christian Schulte, www.ict.kth.se/~cschulte/


-----Original Message-----
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Stefano Gualandi
Sent: Saturday, December 12, 2009 9:14 AM
To: gecode gecode
Subject: Re: [gecode-users] Server migration...

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


_______________________________________________
Gecode users mailing list
users at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users




More information about the users mailing list