diff options
| author | 2013-12-30 15:00:41 +0100 | |
|---|---|---|
| committer | 2013-12-30 15:00:41 +0100 | |
| commit | bd5d7a7bcb16cff1c01f4445ceee765fc11e3b50 (patch) | |
| tree | 1839dbb208d1b63c034fce2cb3d646124a6c937c /lib/Minz/Session.php | |
| parent | 4d6ab45b03031e1c13ac2d3589364a43a0fe5578 (diff) | |
Cache HTTP compatible multi-utilisateur
Contribue à https://github.com/marienfressinaud/FreshRSS/issues/126
Diffstat (limited to 'lib/Minz/Session.php')
| -rw-r--r-- | lib/Minz/Session.php | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/lib/Minz/Session.php b/lib/Minz/Session.php index 6e45fd226..3f6ed88a3 100644 --- a/lib/Minz/Session.php +++ b/lib/Minz/Session.php @@ -8,7 +8,7 @@ class Minz_Session { /** * $session stocke les variables de session */ - private static $session = array (); + private static $session = array (); //TODO: Try to avoid having another local copy /** * Initialise la session, avec un nom @@ -33,13 +33,7 @@ class Minz_Session { * @return la valeur de la variable de session, false si n'existe pas */ public static function param ($p, $default = false) { - if (isset (self::$session[$p])) { - $return = self::$session[$p]; - } else { - $return = $default; - } - - return $return; + return isset(self::$session[$p]) ? self::$session[$p] : $default; } |
