From 93db2dac48bc9e49c4f44882b27d5ab71a5c2d05 Mon Sep 17 00:00:00 2001 From: Anatol Belski Date: Fri, 15 Jan 2016 15:47:09 +0100 Subject: [PATCH] PS(id) is zend_string *, use appropriate API --- ext/session/session.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ext/session/session.c b/ext/session/session.c index b4a63bd79b..1de1d1edb0 100644 --- 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)) { -- 2.40.0