mirror of
https://github.com/php/php-src.git
synced 2025-08-16 05:58:45 +02:00
![]() We need to do that in case a user handler has been set. However, we can't do that in `php_rinit_session_globals()` since that function is called by PHP function `session_destroy()` too, but in that case we don't want to reset PS(mod). Closes GH-6795. |
||
---|---|---|
.. | ||
tests | ||
config.m4 | ||
config.w32 | ||
CREDITS | ||
mod_files.bat | ||
mod_files.c | ||
mod_files.h | ||
mod_files.sh | ||
mod_mm.c | ||
mod_mm.h | ||
mod_user.c | ||
mod_user.h | ||
mod_user_class.c | ||
php_session.h | ||
session.c |