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.
Unfortunately that's not true. It's also required in the php-gtk module even though we don't declare a dtor - the DL_UNLOAD call is the first thing in the shutdown process, and if you _don't_ have free_ts_id() in MSHUTDOWN at present you'll be freeing the resource after the module's unloaded. DL_UNLOAD is called on anything loaded via dl() or the php.ini....
This isn't our only problem though - the GLOBAL_CLASS_TABLE is being destroyed during CG dtor because it doesn't match the current CG->global_class_table. Because the CG dtor is run after the PHP-GTK module is unloaded, destroying that class table crashes the shutdown process.
I've no idea why or how GTK classes end up in the CG global class table, but I guess that's what happening here. Any offers?
- Steph