session_unset() now cleans up $HTTP_SESSION_VARS as well.

diff --git a/ext/session/session.c b/ext/session/session.c
index 78cbd794cdff321caf9c5521ac67f98e091ecac5..288f17096ffdd18bccfc28aeecb283356dc0bca1 100644 (file)
--- a/ext/session/session.c
+++ b/ext/session/session.c
@@ -1354,6 +1354,9 @@ PHP_FUNCTION(session_unset)
                        zend_hash_del(&EG(symbol_table), variable, strlen(variable) + 1);
                efree(variable);
        }
+
+       /* Clean $HTTP_SESSION_VARS. */
+       zend_hash_clean(Z_ARRVAL_P(PS(http_session_vars)));
 }
 /* }}} */