Hi folks, of course fixing bugs is an ugly business, but would it be possible to increase the priority of this bug report? This problem produced 30 minutes downtime on our CVS server. Many thanx Harri