classes/Session.php

   1 <?php
   2 /***************************************************************************
   3  *  Copyright (C) 2003-2006 Polytechnique.org                              *
   4  *  http://opensource.polytechnique.org/                                   *
   5  *                                                                         *
   6  *  This program is free software; you can redistribute it and/or modify   *
   7  *  it under the terms of the GNU General Public License as published by   *
   8  *  the Free Software Foundation; either version 2 of the License, or      *
   9  *  (at your option) any later version.                                    *
  10  *                                                                         *
  11  *  This program is distributed in the hope that it will be useful,        *
  12  *  but WITHOUT ANY WARRANTY; without even the implied warranty of         *
  13  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the          *
  14  *  GNU General Public License for more details.                           *
  15  *                                                                         *
  16  *  You should have received a copy of the GNU General Public License      *
  17  *  along with this program; if not, write to the Free Software            *
  18  *  Foundation, Inc.,                                                      *
  19  *  59 Temple Place, Suite 330, Boston, MA  02111-1307  USA                *
  20  ***************************************************************************/
  21
  22 class Session
  23 {
  24     function init()
  25     {
  26         @session_start();
  27         if (empty($_SESSION['challenge'])) {
  28             $_SESSION['challenge'] = sha1(uniqid(rand(), true));
  29         }
  30     }
  31
  32     function destroy()
  33     {
  34         @session_destroy();
  35         unset($_SESSION);
  36     }
  37
  38
  39
  40     function has($key)
  41     {
  42         return isset($_SESSION[$key]);
  43     }
  44
  45     function kill($key)
  46     {
  47         unset($_SESSION[$key]);
  48     }
  49
  50     function v($key, $default = null)
  51     {
  52         return isset($_SESSION[$key]) ? $_SESSION[$key] : $default;
  53     }
  54
  55
  56     function has_perms()
  57     {
  58         return Session::logged() && Session::v('perms') == PERMS_ADMIN;
  59     }
  60
  61     function logged()
  62     {
  63         return Session::v('auth', AUTH_PUBLIC) >= AUTH_COOKIE;
  64     }
  65
  66     function identified()
  67     {
  68         return Session::v('auth', AUTH_PUBLIC) >= AUTH_MDP;
  69     }
  70 }
  71
  72 class S extends Session { }
  73
  74 ?>