Skip to content
GitLab
Select Git revision
Find file BlameHistoryPermalink
class_session.inc 7.14 KiB
1 
<?php
2 
/*
3 
  This code is part of FusionDirectory (http://www.fusiondirectory.org/)
4 
  Copyright (C) 2003-2010  Cajus Pollmeier
5 
  Copyright (C) 2011-2013  FusionDirectory
6
7 
  This program is free software; you can redistribute it and/or modify
8 
  it under the terms of the GNU General Public License as published by
9 
  the Free Software Foundation; either version 2 of the License, or
10 
  (at your option) any later version.
11
12 
  This program is distributed in the hope that it will be useful,
13 
  but WITHOUT ANY WARRANTY; without even the implied warranty of
14 
  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15 
  GNU General Public License for more details.
16
17 
  You should have received a copy of the GNU General Public License
18 
  along with this program; if not, write to the Free Software
19 
  Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA.
20 
*/
21
22 
/*!
23 
 * \file class_session.inc
24 
 * Source code for class session
25 
 */
26
27 
/*!
28 
 * \brief This class contains all the function needed to manage sessions
29 
 */
30 
class session {
31
32 
  public static function get_session_size()
33 
  {
34 
  }
35
36 
  public static function get_element_size()
37 
  {
38 
  }
39
40 
  /*!
41 
   * \brief Add channel in the session
42 
   *
43 
   * \param string $name Name of the new channel
44 
   */
45 
  public static function add_channel($name)
46 
  {
47 
    /* If there's already such kind of channel, skip... */
48 
    if (isset($_SESSION[$name])) {
49 
      return FALSE;
50 
    }
51
52 
    /* Allocate it... */
53 
    $_SESSION[$name]    = array();
54 
    $_POST["_channel_"] = $name;
55 
    return TRUE;
56 
  }
57
58
59 
  /*
60 
   * \brief Remove a channel from a session
61 
   *
62 
   * \param string $name Name of the channel to remove
63 
   */
64 
  public static function remove_channel($name)
65 
  {
66 
    /* If there's already such kind of channel, skip... */
67 
    if (isset($_SESSION[$name])) {
68 
      unset($_SESSION[$name]);
69 
      if (isset($_POST["_channel_"])) {
70 
        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]);