Hi everyone,
I have made a patch to fix this bug: http://bugs.php.net/bug.php?id=45808
Diff against 5.3.0 is here: http://si.kz/php-bug-45808.diff.txt
As far as I have tested, everything works as expected with this patch
applied. Can someone with karma please review it and apply to HEAD
and/or 5.3 branch ?
Regards,
Vincent
hi,
Can you add the link to the bug itself please? We won't loose it thebn :)
Thanks for your work,
Hi everyone,
I have made a patch to fix this bug: http://bugs.php.net/bug.php?id=45808
Diff against 5.3.0 is here: http://si.kz/php-bug-45808.diff.txt
As far as I have tested, everything works as expected with this patch
applied. Can someone with karma please review it and apply to HEAD and/or
5.3 branch ?Regards,
Vincent--
--
Pierre