An error occurred while loading the file. Please try again.
-
Côme Bernigaud authoredc0832870
<?php/* This code is part of FusionDirectory (http://www.fusiondirectory.org/) Copyright (C) 2003-2010 Cajus Pollmeier Copyright (C) 2011-2013 FusionDirectory This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This program 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 General Public License for more details. You should have received a copy of the GNU General Public License along with this program; if not, write to the Free Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA.*//*! * \file class_session.inc * Source code for class session *//*! * \brief This class contains all the function needed to manage sessions */class session { public static function get_session_size() { } public static function get_element_size() { } /*! * \brief Add channel in the session * * \param string $name Name of the new channel */ public static function add_channel($name) { /* If there's already such kind of channel, skip... */ if (isset($_SESSION[$name])) { return FALSE; } /* Allocate it... */ $_SESSION[$name] = array(); $_POST["_channel_"] = $name; return TRUE; } /* * \brief Remove a channel from a session * * \param string $name Name of the channel to remove */ public static function remove_channel($name) { /* If there's already such kind of channel, skip... */ if (isset($_SESSION[$name])) { unset($_SESSION[$name]); if (isset($_POST["_channel_"])) { unset($_POST["_channel_"]);7172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140
}
return TRUE;
}
return FALSE;
}
/*!
* \brief Check if the name of the session is set
*
* \param string $name The name of the session
*/
public static function is_set($name)
{
$channel = "";
if (isset($_POST['_channel_'])) {
$channel = $_POST['_channel_'];
}
/* Global fallback if not set */
if ($channel == "") {
return isset($_SESSION[$name]);
}
/* Sanity check */
if (!session::channel_exists($channel)) {
msg_dialog::display(_("Internal error"), _("Requested channel does not exist! Please contact your Administrator."), FATAL_ERROR_DIALOG);
}
$channel = "gch_".$channel;
return isset($_SESSION[$channel][$name]);
}
/*!
* \brief Check if a session is defined
*
* \param string $name Name of the session
*/
public static function global_is_set($name)
{
return isset($_SESSION[$name]);
}
/*!
* \brief Set a value in a session
*
* \param string $name Name of the session
*
* \param $value The new value
*/
public static function set($name, $value)
{
$channel = "";
if (isset($_POST['_channel_'])) {
$channel = $_POST['_channel_'];
}
/* Global fallback if not set */
if ($channel == "") {
$_SESSION[$name] = $value;
} else {
/* Sanity check */
if (!session::channel_exists($channel)) {
msg_dialog::display(_("Internal error"), _("Requested channel does not exist! Please contact your Administrator."), FATAL_ERROR_DIALOG);
}
$_SESSION[$channel][$name] = $value;
}
}
/*!
141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210
* \brief Set a value in a session
*
* \param string $name Name of the session
*
* \param $value The new value
*/
public static function global_set($name, $value)
{
$_SESSION[$name] = $value;
}
/*!
* \brief Accessor of a session
*
* \param string $name Name of the session
*/
public static function &get($name)
{
$channel = "";
if (isset($_POST['_channel_'])) {
$channel = $_POST['_channel_'];
}
/* Global fallback if not set */
if ($channel == "") {
$ret = &$_SESSION[$name];
return $ret;
}
/* Sanity check */
if (!session::channel_exists($channel)) {
msg_dialog::display(_("Internal error"), _("Requested channel does not exist! Please contact your Administrator."), FATAL_ERROR_DIALOG);
}
$channel = "gch_".$channel;
$ret = &$_SESSION[$channel][$name];
return $ret;
}
/*!
* \brief Accessor of a session
*
* \param string $name Name of the session
*/
public static function &global_get($name)
{
$ret = &$_SESSION[$name];
return $ret;
}
/*!
* \brief Delete a session
*
* \param string $name Name of the session to delete
*/
public static function delete($name)
{
$channel = "";
if (isset($_POST['_channel_'])) {
$channel = $_POST['_channel_'];
}
/* Global fallback if not set */
if ($channel == "") {
if (isset($_SESSION[$name])) {
unset($_SESSION[$name]);
}
} else {
if (isset($_SESSION[$channel][$name])) {
unset($_SESSION[$channel][$name]);
211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280
}
}
}
/*!
* \brief Delete a session
*
* \param string $name Name of the session to delete
*/
public static function global_delete($name)
{
if ($_SESSION[$name]) {
unset($_SESSION[$name]);
}
}
/*!
* \brief Unset a session
*
* \param string $name Name of the session to delete
*/
public static function un_set($name)
{
return session::delete($name);
}
/*!
* \brief Unset a session
*
* \param string $name Name of the session to delete
*/
public static function global_un_set($name)
{
return session::global_delete($name);
}
/*!
* \brief Start a session
*/
public static function start()
{
/* Set cookie lifetime to one day (The parameter is in seconds ) */
session_set_cookie_params(24 * 60 * 60);
/* Set cache limter to one day (parameter is minute !!)*/
session_cache_expire(60 * 24); // default is 180
/* Set session max lifetime, to prevent the garbage collector to delete session before timeout.
!! The garbage collector is a cron job on debian systems, the cronjob will fetch the timeout from
the php.ini, so if you use debian, you must hardcode session.gc_maxlifetime in your php.ini */
ini_set("session.gc_maxlifetime", 24 * 60 * 60);
session_name("FusionDirectory");
session_start();
/* Check for changed browsers and bail out */
if (isset($_SESSION['HTTP_USER_AGENT'])) {
if ($_SESSION['HTTP_USER_AGENT'] != md5($_SERVER['HTTP_USER_AGENT'])) {
session_destroy();
session_name("FusionDirectory");
session_start();
}
} else {
$_SESSION['HTTP_USER_AGENT'] = md5($_SERVER['HTTP_USER_AGENT']);
}
/* Regenerate ID to increase security */
if (!isset($_SESSION['started'])) {
session_regenerate_id();
$_SESSION['started'] = TRUE;
}
281282283284285286287288289290291292293294295296297298299300301302303304305306307308
}
/*!
* \brief Destroy a session
*/
public static function destroy()
{
@session_destroy();
}
public static function set_lifetime($seconds = -1)
{
echo "Not implemented yet";
}
/*!
* \brief Get all sessions
*/
public static function &get_all()
{
$ret = &$_SESSION;
return $ret;
}
}
?>