PS(id) is zend_string *, use appropriate API

diff --git a/ext/session/session.c b/ext/session/session.c
index b4a63bd79baf3985cee82979f6a2d6480c1d2b95..1de1d1edb0057aad1d376803c0584c93311b14e5 100644 (file)
--- a/ext/session/session.c
+++ b/ext/session/session.c
@@ -530,7 +530,7 @@ static void php_session_initialize(void) /* {{{ */
        /* If there is no ID, use session module to create one */
        if (!PS(id) || !ZSTR_VAL(PS(id))[0]) {
                if (PS(id)) {
-                       efree(PS(id));
+                       zend_string_release(PS(id));
                }
                PS(id) = PS(mod)->s_create_sid(&PS(mod_data));
                if (!PS(id)) {