I'm a bit behind so sorry if this has been answered already. I don't think
ts_free_id() is a workaround but it's actually correct.
ts_free_id() would be a correct workaround if it came from zend_shutdown().
How's it right to suddenly force EVERY extension author to add it to their
code individually?
We
should free the resources of the extension during MSHUTDOWN and that's the
way to do it in ZTS. Good chance that the crash is actually a bug which
needs fixing although there could also be a bug lurking.
Andi
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php
