[PHP-DEV] Re: Enable Zend Signals by Default

2016-06-21 Thread Xinchen Hui
Hey: On Tue, Jun 21, 2016 at 9:02 AM, Rasmus Lerdorf wrote: > On Mon, Jun 20, 2016 at 1:25 PM, Dmitry Stogov wrote: > > So, I propose to switch zend-signals on, and revert back if it makes > problems to 7.1 release process. > Any objections? > > > No objections here. I have been hitting annoyin

[PHP-DEV] Re: Enable Zend Signals by Default

2016-06-20 Thread Rasmus Lerdorf
On Mon, Jun 20, 2016 at 1:25 PM, Dmitry Stogov wrote: So, I propose to switch zend-signals on, and revert back if it makes problems to 7.1 release process. Any objections? No objections here. I have been hitting annoying segfaults in 7.0 that will likely be helped by this. -Rasmus