php_session_flush 1940 ext/session/session.c 	php_session_flush(TSRMLS_C);
php_session_flush 1945 ext/session/session.c 	php_session_flush(TSRMLS_C);