Expired session objects

[marcoszorrilla]

Hola Román:
Me compre en Francia un pedazo de libro PHP 5, aún voy por la mitad, pero buscando por otro conducto ya que el citado no encuentro nada, he encontrado esto:

Código PHP:

php_session_initialize(TSRMLS_C);

if (!PS(use_cookies) && PS(send_cookie)) {
if (PS(use_trans_sid))
PS(apply_trans_sid) = 1;
PS(send_cookie) = 0;
}

php_session_reset_id(TSRMLS_C);

PS(session_status) = php_session_active;

php_session_cache_limiter(TSRMLS_C);

if (PS(mod_data) && PS(gc_probability) > 0) {
int nrdels = -1;

nrand = (int) ((float) PS(gc_divisor) * php_combined_lcg(TSRMLS_C));
if (nrand < PS(gc_probability)) {
PS(mod)->s_gc(&PS(mod_data), PS(gc_maxlifetime), &nrdels TSRMLS_CC);
#if 0
if (nrdels != -1)
php_error_docref(NULL TSRMLS_CC, E_NOTICE, "purged %d expired session objects", nrdels);
#endif
}
}
}

static zend_bool php_session_destroy(TSRMLS_D)
{
zend_bool retval = SUCCESS;

if (PS(session_status) != php_session_active) {
php_error_docref(NULL TSRMLS_CC, E_WARNING, "Trying to destroy uninitialized session");
return FAILURE; 


Para más señas el enlace:
http://www.php-websource.com/php436/source-session.htm

Un Saludo.