Fixed memory corruption because of double free()

diff --git a/ext/session/session.c b/ext/session/session.c
index b865254c066ba4ddd1e43e5bec8d2478df2f0a33..65ac1c29b8e000d186e145ae96ad25b9cfae0f8a 100644 (file)
--- a/ext/session/session.c
+++ b/ext/session/session.c
@@ -1943,6 +1943,7 @@ PHP_RSHUTDOWN_FUNCTION(session)
        for (i = 0; i < 6; i++) {
                if (PS(mod_user_names).names[i] != NULL) {
                        zval_ptr_dtor(&PS(mod_user_names).names[i]);
+                       PS(mod_user_names).names[i] = NULL;
                }
        }