A new skin...

[platal.git] / classes / Session.php

diff --git a/classes/Session.php b/classes/Session.php
index f87face..c6d1b34 100644 (file)
--- a/classes/Session.php
+++ b/classes/Session.php
@@ -20,7 +20,6 @@
  ***************************************************************************/
 
 require_once 'diogenes/diogenes.misc.inc.php';
-require_once 'diogenes/diogenes.core.logger.inc.php';
 
 class Session
 {
@@ -55,6 +54,11 @@ class Session
         return isset($_SESSION[$key]) ? $_SESSION[$key] : $default;
     }
 
+    function i($key, $default = 0)
+    {
+        $i = Session::v($key, $default);
+        return is_numeric($i) ? intval($i) : $default;
+    }
 
     function has_perms()
     {
@@ -87,7 +91,7 @@ function check_perms()
         if ($_SESSION['log']) {
             $_SESSION['log']->log("noperms",$_SERVER['PHP_SELF']);
         }
-       $page->kill("Tu n'as pas les permissions nécessaires pour accéder à cette page.");
+       $page->kill("Tu n'as pas les permissions nécessaires pour accéder à cette page.");
     }
 }