Hi Nikita,
On Sat, 11 Aug 2018 at 11:03, Nikita Popov wrote:
> On Wed, Aug 8, 2018 at 11:09 PM, Nicolai Scheer
> wrote:
>
>> [resource destructor does not get called until shutdown]
>
>
> My guess would be some kind of refcounting issue. For example
> zend_update_property will already increment
On Wed, Aug 8, 2018 at 11:09 PM, Nicolai Scheer
wrote:
> Hi,
>
> I'm currently facing difficulties to migrate one of our extension from php
> 5.6 to 7.2.
>
> Basically everything works fine.
> The extension defines its own resource, and since it's object oriented,
> stores the resource inside a m
Hi,
I'm currently facing difficulties to migrate one of our extension from php
5.6 to 7.2.
Basically everything works fine.
The extension defines its own resource, and since it's object oriented,
stores the resource inside a member variable, i.e. we register the custom
resource using zend_list_in
