<?php
//
// +---------------------------------------------------------------------------+
// | Nitro :: Session Handler :: files |
// +---------------------------------------------------------------------------+
// | Copyright (c) 2005 June Systems BV |
// +---------------------------------------------------------------------------+
// | This library is free software; you can redistribute it and/or modify it |
// | under the terms of the GNU Lesser General Public License as published by |
// | the Free Software Foundation; either version 2.1 of the License, or (at |
// | your option) any later version. |
// | |
// | This library is distributed in the hope that it will be useful, but |
// | WITHOUT ANY WARRANTY; without even the implied warranty of |
// | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser |
// | General Public License for more details. |
// | |
// | You should have received a copy of the GNU Lesser General Public License |
// | along with this library; if not, write to the Free Software Foundation, |
// | Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA |
// +---------------------------------------------------------------------------+
// | Authors: Siggi Oskarsson <hide@address.com> |
// +---------------------------------------------------------------------------+
//
// $Id: files.inc.php 229 2008-04-17 09:20:31Z oli $
//
// This file contains the files Nitro Session Handler
//
/**
* This file contains the default file based session handler for Nitro
*
* @package Nitro
* @subpackage Session
* @author Siggi Oskarsson
* @version $Revision: 1.39 $
* @copyright 2005 June Systems BV
*/
function NitroSession_DeleteSessionData($id)
{
$sessionDir = session_save_path();
@unlink($sessionDir . '/sess_' . $id);
}
function NitroSession_SaveToDisk()
{
//make a backup copy of the current changed session
//$tmp = $_SESSION;
//re-start session, original session settings get loaded
//session_start();
//overwrite reloaded session settings with backed up setting of current script
//$_SESSION = $tmp;
//close the session again so it gets written to disk for use with next page/script
session_write_close();
}
?>