Dmitry Stogov wrote: > Hi Michael, > > I think the patch is correct. > Really you can just call zval_ptr_dtor() to make the magic in one place.
Someone with Zend/ karma needs to take care of it then. Regards, -- Michael -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php