Problem with ini settings and loaded extensions?

Hello all, I've been noticing a peculiar problem with an extension I've been doing work on, and I'm hoping someone can help with this. I'm not sure if this is a programming error on my part, or if there's a subtle bug in PHP. This extension makes use of ini settings (currently only one, imlib.font_path). With PHP 4.0.1pl2, the ini setting is usually handled correctly. If I open the extension with dl(), the directive is set as expected. I understand that if the extension is compiled into PHP, the directive is also set correctly. The problem comes when the extension is compiled as a shared library and is loaded via a directive under php.ini. Under these conditions, if imlib.font_path is also declared in the system php.ini file, the directive will be correctly set the *first* time the module is used; but the second time the module is used in the same process, the value of the directive has been reset to the the compiled-in default! If a formal bug report is preferred, I'll be happy to file one; I just wasn't sure whose bug this was. :) Source code to the extension is available upon request. Regards, Steve Langasek postmodern programmer