> > 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?
This was only reqiured in extensions registering custom dtor's like tidy and printer. - Frank -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
