Hi!

This has nothing to do with dl().  mysqli was loaded in php.ini via
extension=mysqli.so

Oh, I missed that point. Anyway, it sounds logical that all resources should be freed before modules are unloaded, not the reverse.

--
Stanislav Malyshev, Zend Software Architect
[EMAIL PROTECTED]   http://www.zend.com/
(408)253-8829   MSN: [EMAIL PROTECTED]

--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to