Synopsis: ports.cgi used ports/INDEX from CVS State-Changed-From-To: open->closed State-Changed-By: pav State-Changed-When: Tue Nov 29 20:54:50 GMT 2005 State-Changed-Why: I killed off the CVS operationg in the cgi. As for the proposed solution, well, I'm not going to implement it, sorry. http://www.freebsd.org/cgi/query-pr.cgi?pr=75830