Yes, it serves me well now. However this is a way to workaround the problem. An the problem exists and I want to hear from core experts (the best will be if Zeev or Andi) tell their opinion. I am concerned about this problem.
Internal classes were not all that popular at the time the module interface was designed. I guess that because roughly at the same time classes started becoming more popular, we deprecated dl() - we never got to adding hooks to unregister classes. You should be able to use zend_hash_del() for now at MSHUTDOWN, but I'll also add an alias zend_unregister_internal_class().
Zeev
-- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php