Re: [PHP-DEV] ZEND_REGISTER_RESOURCE From: Andi Gutmans (andi <email protected>)
Date: 11/29/00

You should call zend_list_delete().
And you should be using zend_register_list_destructors_ex() in MINIT which
will free the resource for you automatically when zend_list_delete() is
called (and on request shutdown). Of course, this is if you code your
destructor function the right way :)

At 05:19 PM 11/29/00 +0000, Sam Liddicott wrote:
>Do I need to zend_list_delete the resource before I efree() it, or does
>efree() do it for me?
>
>Thanks
>
>Sam
>
>--
>PHP Development Mailing List <http://www.php.net/>
>To unsubscribe, e-mail: php-dev-unsubscribe <email protected>
>For additional commands, e-mail: php-dev-help <email protected>
>To contact the list administrators, e-mail: php-list-admin <email protected> 

---
Andi Gutmans <andi <email protected>>
http://www.zend.com/

-- 
PHP Development Mailing List <http://www.php.net/>
To unsubscribe, e-mail: php-dev-unsubscribe <email protected>
For additional commands, e-mail: php-dev-help <email protected>
To contact the list administrators, e-mail: php-list-admin <email protected>