Re: is the cvs server up?