pronto/core/session.php

Go to the documentation of this file.

<?php
class Session_DB
{
        var $db = null;

        function Session_DB(&$db)
        {
                $this->db =& $db;
                
                session_set_save_handler(
                        array($this, 'open'),
                        array($this, 'close'),
                        array($this, 'read'),
                        array($this, 'write'),
                        array($this, 'destroy'),
                        array($this, 'gc'));
        }

        function close()
        {
                return true;
        }

        function destroy($id)
        {
                $this->db->execute("DELETE FROM sessions WHERE id='%s'", array($id));
                return true;
        }

        function gc($lifetime)
        {
                $t = time() - $lifetime;
                $this->db->execute("DELETE FROM sessions WHERE lastupdate<%i", array($t));
                return true;
        }

        function open($path, $name)
        {
                return true;
        }

        function read($id)
        {
                $data = $this->db->get_item("SELECT data FROM sessions WHERE id='%s'", array($id));
                if(!$data) {
                        $this->db->execute("INSERT INTO sessions (id,lastupdate,data) VALUES ('%s',%i,'')", array($id,time()));
                        return '';
                }
                return $data['data'];
        }

        function write($id, $data)
        {
                $this->db->execute("UPDATE sessions SET data='%s',lastupdate=%i WHERE id='%s'", array($data,time(),$id));
                return true;
        }

}

function start_session($sess_id='')
{
        if(session_id()) return;
        if($sess_id) session_id($sess_id);
        ini_set('session.use_trans_sid', 0);
        ini_set('session.use_cookies', 1);
        ini_set('session.use_only_cookies', 1);
        ini_set('session.cookie_lifetime', SESSION_LIFETIME);
        ini_set('session.gc_maxlifetime', SESSION_IDLETIME);
        ini_set('session.gc_probability', 10);
        ini_set('session.gc_divisor', 100);
        ini_set('session.name', SESSION_COOKIE);
        if(defined('SESSION_USEDB') && SESSION_USEDB === true) {
                $db =& Registry::get('pronto:db:main');
                $session = new Session_DB($db);
                Registry::set('pronto:session', $session);
        }
        if(isset($_COOKIE[SESSION_COOKIE]) && SESSION_LIFETIME > 0) {
                // reset the timeout
                setcookie(SESSION_COOKIE, $_COOKIE[SESSION_COOKIE], time()+SESSION_LIFETIME, "/");
        }
        session_name(SESSION_COOKIE);
        session_start();
}

?>

---