Ok, so we do need to rinit here after all.

diff --git a/ext/standard/dl.c b/ext/standard/dl.c
index 0b13085ed1c431c8524a4f6a08d9881a19cf718b..322aefe3cd980663b75c6c2fe337f06b8a674718 100644 (file)
--- a/ext/standard/dl.c
+++ b/ext/standard/dl.c
@@ -241,6 +241,14 @@ void php_dl(pval *file, int type, pval *return_value TSRMLS_DC)
                DL_UNLOAD(handle);
                RETURN_FALSE;
        }
+
+       if ((type == MODULE_TEMPORARY) && module_entry->request_startup_func) {
+               if (module_entry->request_startup_func(type, module_entry->module_number TSRMLS_CC)) {
+                       php_error_docref(NULL TSRMLS_CC, error_type, "Unable to initialize module '%s'", module_entry->name);
+                       DL_UNLOAD(handle);
+                       RETURN_FALSE;
+               }
+       }
        
        RETURN_TRUE;
 }