Hi:
since kalle think that issue make sense, I made a patch for it.
and agian, sure we can fixed it(that is how I make this patch),
but that doesn't mean we should fixed it :-)
and if we will plan to do, hope the patch can help. thank
plz refer to the bug report page: https://bugs.php.net/bug.php?id=55493
thanks
--
Laruence Xinchen Hui
http://www.laruence.com/
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php
