_050.session.php

Vai alla documentazione di questo file.

<?php

    // backend per il salvataggio delle sessioni
    // TODO implementare la connessione a Redis come Memcache
        if( isset( $cf['redis']['connection'] ) && ! empty( $cf['redis']['connection'] ) ) {

            // settaggi per Redis
            // TODO usare i settaggi di $cf['redis']['server']
            // NOTA attualmente non esiste nemmeno $cf['memcache']['server']
            // NOTA esiste invece $cf['mysql']['server'], prendere spunto da là
                ini_set( 'session.save_handler', 'redis' );
                ini_set( 'session.save_path', 'tcp://'.$cf['redis']['server']['address'].':'.$cf['redis']['server']['port'] );

            // NOTA per testare le sessioni redis usare redis-cli sulla macchina dove gira redis e poi lanciare il comando
            // KEYS * per vedere tutte le chiavi registrate; si può anche fare FLUSHALL e poi dopo un po' KEYS * per controllare
            // che le nuove sessioni vengano correttamente create

            // tipo di sessione
                define( 'SESSION_TYPE'                  , SESSION_REDIS );

            // log
                logWrite( 'sessione salvata su REDIS', 'session', LOG_DEBUG );

        } elseif( defined( 'DIRECTORY_SESSION' ) ) {

            // controllo la cartella dei fie di sessione
                checkFolder( DIRECTORY_BASE . DIRECTORY_SESSION );

            // imposto la posizione dei file di sessione
                ini_set( 'session.save_handler', 'files' );
                ini_set( 'session.save_path', DIRECTORY_BASE . DIRECTORY_SESSION );

            // tipo di sessione
                define( 'SESSION_TYPE'                  , SESSION_FILESYSTEM );

            // log
                logWrite( 'sessione salvata su filesystem', 'session', LOG_DEBUG );

        } else {

            // tipo di sessione
                define( 'SESSION_TYPE'                  , SESSION_APACHE );

            // log
                logWrite( 'sessione salvata su Apache', 'session', LOG_DEBUG );

        }

    // durata massima del periodo di inattività della sessione in secondi
    // TODO rivedere questa cosa
        // $cf['session']['limit']                      = 3600;

    // debug
        // die( ini_get( 'session.save_handler' ) );

?>