diff options
author | Yasuo Ohgaki <yohgaki@php.net> | 2016-12-22 15:57:53 +0900 |
---|---|---|
committer | Yasuo Ohgaki <yohgaki@php.net> | 2016-12-22 16:04:28 +0900 |
commit | a93a51c3bf4ea1638ce0adc4a899cb93531b9f0d (patch) | |
tree | da2b6a57007e0be7124588c29ef7e34e0e862a20 /ext/session/php_session.h | |
parent | d4831e2d0a812486cae8fb30afa5b9e0e03e03ce (diff) | |
download | php-git-a93a51c3bf4ea1638ce0adc4a899cb93531b9f0d.tar.gz |
Fix bug #73100 - Improve bug fix. Forbid to set 'user' save handler other than set_save_handler().
Diffstat (limited to 'ext/session/php_session.h')
-rw-r--r-- | ext/session/php_session.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ext/session/php_session.h b/ext/session/php_session.h index ceb4a1f4fd..abe4e441e4 100644 --- a/ext/session/php_session.h +++ b/ext/session/php_session.h @@ -204,7 +204,8 @@ typedef struct _php_ps_globals { zend_bool use_strict_mode; /* whether or not PHP accepts unknown session ids */ zend_bool lazy_write; /* omit session write when it is possible */ - zend_bool in_save_handler; /* state that if session is in save handler or not */ + zend_bool in_save_handler; /* state if session is in save handler or not */ + zend_bool set_handler; /* state if session module i setting handler or not */ zend_string *session_vars; /* serialized original session data */ } php_ps_globals; |