Glenn Richmond wrote:
look and see if I can come up with a fix in the mean time. Should it be re-logged as a bug to get it some more attention in the future?
more bug reports are not going to help .. just append the existing one with a patch.
regards, Lukas -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
