Regarding HEAD
I get a lot of these errors:
[Fri Mar 5 14:37:31 2004] [error] PHP Notice: Constant OS_WINDOWS already
defined in /usr/local/lib/php/PEAR.php on line 38
It seems it is caused by this line in Util.php
@define('OS_WINDOWS', (substr(PHP_OS, 0, 3) == 'WIN'));
--
Jan Kuipers
Systeembeheer Lauwers College