Re: [PHP-DEV] [PATCH] Fixes for bugs #65463, #66036

2014-08-14 Thread Rasmus Lerdorf
On 08/14/2014 01:43 PM, Keyur Govande wrote: > Hello, > > I've opened https://github.com/php/php-src/pull/770 for patches for bugs > #65463, #66036. More details in the PR. > > The bug is reproducible on PHP 5.4, 5.5 and 5.6 with and without > --enable-zend-signals. > > Please review, I'm hesita

[PHP-DEV] [PATCH] Fixes for bugs #65463, #66036

2014-08-14 Thread Keyur Govande
Hello, I've opened https://github.com/php/php-src/pull/770 for patches for bugs #65463, #66036. More details in the PR. The bug is reproducible on PHP 5.4, 5.5 and 5.6 with and without --enable-zend-signals. Please review, I'm hesitant to merge such a core change without more eyes. Thanks, Keyu