cvs server problem