[PHP-DEV] ZEND_REGISTER_RESOURCE From: Sam Liddicott (sam.liddicott <email protected>)
Date: 11/29/00

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>