[Python-checkins] Re: [Python-Dev] cvs problems

[Guido van Rossum]

> maybe not the right forum, but I suppose everyone
> here is using CVS, so...
> 
> ...could anyone explain why I keep getting this error?
> 
> $ cvs -z6 up -P -d
> ...
> cvs server: Updating dist/src/Tools/ht2html
> cvs [server aborted]: cannot open directory /projects/cvsroot/python/dist/src/Tools/ht2html: No such
> file or directory
> 
> it used to work...

EXPLANATION: For some reason that directory existed on the mirror
server but not in the master CVS tree repository.  It was created once
but quickly deleted -- not quickly enough apparently to prevent it to
leak to the slave.  Then we did a global resync from the master to the
mirror and that wiped out the mirror version.  Good riddance.

FIX: Edit Tools/CVS/Entries and delete the line that mentions ht2html, 
then do another cvs update.

--Guido van Rossum (home page: http://www.python.org/~guido/)