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: [email protected] [mailto:[email protected]] 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 > [email protected] > https://www.gecode.org/mailman/listinfo/gecode-users _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
