[PHP-DEV] [PATCH] Fix for 12245 From: Jeroen van Wolffelaar (jeroen <email protected>)
Date: 08/29/01

See attachment. I tested it, and I'm sure it works.

--jeroen 

-- 
PHP Development Mailing List <http://www.php.net/>
To unsubscribe, e-mail: php-dev-unsubscribe <email protected>
For additional commands, e-mail: php-dev-help <email protected>
To contact the list administrators, e-mail: php-list-admin <email protected>