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]