Don't retain mt_rand() seeds across requests

In particular, this prevents manual seeding of mt_rand() to leak
across requests.

diff --git a/ext/standard/basic_functions.c b/ext/standard/basic_functions.c
index aaf4301d6468c961676d5794216eedf6fb1f8f5e..4784a216e16c2cca6747b578a0f765886ffccd7a 100644 (file)
--- a/ext/standard/basic_functions.c
+++ b/ext/standard/basic_functions.c
@@ -3810,6 +3810,8 @@ PHP_RSHUTDOWN_FUNCTION(basic) /* {{{ */
        zend_hash_destroy(&BG(putenv_ht));
 #endif
 
+       BG(mt_rand_is_seeded) = 0;
+
        if (BG(umask) != -1) {
                umask(BG(umask));
        }