Any objections to me applying this fix for the unload-module-before-calling-object-dtors bug that I periodically whine about?
Is the diff available anywhere?
Zeev
-- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
