include/platal/session.inc.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 require_once 'diogenes/diogenes.misc.inc.php';
  23 require_once 'diogenes/diogenes.core.logger.inc.php';
  24
  25 // {{{ function check_perms()
  26
  27 /** verifie si un utilisateur a les droits pour voir une page
  28  ** si ce n'est pas le cas, on affiche une erreur
  29  * @return void
  30  */
  31 function check_perms()
  32 {
  33     global $page;
  34     if (!has_perms()) {
  35         if ($_SESSION['log']) {
  36             $_SESSION['log']->log("noperms",$_SERVER['PHP_SELF']);
  37         }
  38         $page->kill("Tu n'as pas les permissions nécessaires pour accéder à cette page.");
  39     }
  40 }
  41
  42 // }}}
  43 // {{{ function has_perms()
  44
  45 /** verifie si un utilisateur a les droits pour voir une page
  46  ** soit parce qu'il est admin, soit il est dans une liste
  47  ** supplementaire de personnes utilisées
  48  * @return BOOL
  49  */
  50
  51 function has_perms()
  52 {
  53     return logged() && Session::get('perms') == PERMS_ADMIN;
  54 }
  55
  56 // }}}
  57 // {{{ function logged()
  58
  59 /** renvoie true si la session existe et qu'on est loggué correctement
  60  * false sinon
  61  * @return bool vrai si loggué
  62  * @see header2.inc.php
  63  */
  64 function logged ()
  65 {
  66     return Session::get('auth', AUTH_PUBLIC) >= AUTH_COOKIE;
  67 }
  68
  69 // }}}
  70 // {{{ function identified()
  71
  72 /** renvoie true si la session existe et qu'on est loggué correctement
  73  * et qu'on a été identifié par un mot de passe depuis le début de la session
  74  * false sinon
  75  * @return bool vrai si loggué
  76  * @see header2.inc.php
  77  */
  78 function identified ()
  79 {
  80     return Session::get('auth', AUTH_PUBLIC) >= AUTH_MDP;
  81 }
  82
  83 // }}}
  84
  85 // vim:set et sw=4 sts=4 sws=4 foldmethod=marker:
  86 ?>