Should I have opened a BUG report instead ? It's just an one line patch... Let me know if I need to open a BUG report.
Regards, Cristiano Duarte -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php