classes/session.php

   1 <?php
   2 /***************************************************************************
   3  *  Copyright (C) 2003-2008 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     public static function init()
  25     {
  26         @session_start();
  27         if (empty($_SESSION['challenge'])) {
  28             $_SESSION['challenge'] = sha1(uniqid(rand(), true));
  29         }
  30         if (!isset($_SESSION['perms']) || !($_SESSION['perms'] instanceof FlagSet)) {
  31             $_SESSION['perms'] = new FlagSet();
  32         }
  33     }
  34
  35     public static function destroy()
  36     {
  37         @session_destroy();
  38         unset($_SESSION);
  39     }
  40
  41     public static function has($key)
  42     {
  43         return isset($_SESSION[$key]);
  44     }
  45
  46     public static function kill($key)
  47     {
  48         unset($_SESSION[$key]);
  49     }
  50
  51     public static function v($key, $default = null)
  52     {
  53         return isset($_SESSION[$key]) ? $_SESSION[$key] : $default;
  54     }
  55
  56     public static function s($key, $default = '')
  57     {
  58         return (string)Session::v($key, $default);
  59     }
  60
  61     public static function i($key, $default = 0)
  62     {
  63         $i = Session::v($key, $default);
  64         return is_numeric($i) ? intval($i) : $default;
  65     }
  66
  67     public static function l(array $keys)
  68     {
  69         return array_map(array('Session', 'v'), $keys);
  70     }
  71
  72     public static function has_perms()
  73     {
  74         return Session::logged() && Session::v('perms')->hasFlag(PERMS_ADMIN);
  75     }
  76
  77     public static function logged()
  78     {
  79         return Session::v('auth', AUTH_PUBLIC) >= AUTH_COOKIE;
  80     }
  81
  82     public static function identified()
  83     {
  84         return Session::v('auth', AUTH_PUBLIC) >= AUTH_MDP;
  85     }
  86 }
  87
  88 // {{{ function check_perms()
  89
  90 /** verifie si un utilisateur a les droits pour voir une page
  91  ** si ce n'est pas le cas, on affiche une erreur
  92  * @return void
  93  */
  94 function check_perms()
  95 {
  96     global $page;
  97     if (!S::has_perms()) {
  98         if ($_SESSION['log']) {
  99             $_SESSION['log']->log("noperms",$_SERVER['PHP_SELF']);
 100         }
 101         $page->kill("Tu n'as pas les permissions nécessaires pour accéder à cette page.");
 102     }
 103 }
 104
 105 // }}}
 106
 107 // vim:set et sw=4 sts=4 sws=4 foldmethod=marker enc=utf-8:
 108 ?>