Prolong the death of dl() for a little while longer.

diff --git a/ext/standard/dl.c b/ext/standard/dl.c
index 185c42df6996ec323e8e1b6cdb3c709b7a1e94b0..6e98e0834a9f9a6b1176d6605cd9c11f33ba5108 100644 (file)
--- a/ext/standard/dl.c
+++ b/ext/standard/dl.c
@@ -76,6 +76,7 @@ PHP_FUNCTION(dl)
                php_error(E_ERROR, "Dynamically loaded extensions aren't allowed when running in SAFE MODE.");
        } else {
                php_dl(*file, MODULE_TEMPORARY, return_value TSRMLS_CC);
+               EG(full_tables_cleanup) = 1;
        }
 }