Paul:
Right. It seems the other situations that caused the bug to
appear have closed, but I still intend to apply your patch as soon as I
have a spare moment. Thanks. :)
--
PHP Development Mailing List <http://www.php.net/>
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
To contact the list administrators, e-mail: [EMAIL PROTECTED]
