diff options
| author | 2013-12-25 21:46:24 +0100 | |
|---|---|---|
| committer | 2013-12-25 21:46:24 +0100 | |
| commit | d24b1e963e208a03f08b1d17ed9f319bd59a36ad (patch) | |
| tree | 9355fc67ac91eca6d4ae09162a775b54bd6095c1 /lib | |
| parent | 7eda2793bbc3210ae37aa66511fd7ad7661c2149 (diff) | |
Lancer automatiquement le raffraîchissement des flux après une mise à jour de FreshRSS
https://github.com/marienfressinaud/FreshRSS/issues/330
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/Minz/Session.php | 30 |
1 files changed, 16 insertions, 14 deletions
diff --git a/lib/Minz/Session.php b/lib/Minz/Session.php index 878caa556..c2af920df 100644 --- a/lib/Minz/Session.php +++ b/lib/Minz/Session.php @@ -9,21 +9,23 @@ class Minz_Session { * $session stocke les variables de session */ private static $session = array (); - + /** - * Initialise la session + * Initialise la session, avec un nom + * Le nom de session est utilisé comme nom pour les cookies et les URLs (i.e. PHPSESSID). + * Il ne doit contenir que des caractères alphanumériques ; il doit être court et descriptif */ - public static function init () { + public static function init ($name) { // démarre la session - session_name (md5 (Minz_Configuration::selApplication ())); + session_name ($name); session_start (); - + if (isset ($_SESSION)) { self::$session = $_SESSION; } } - - + + /** * Permet de récupérer une variable de session * @param $p le paramètre à récupérer @@ -35,11 +37,11 @@ class Minz_Session { } else { $return = $default; } - + return $return; } - - + + /** * Permet de créer ou mettre à jour une variable de session * @param $p le paramètre à créer ou modifier @@ -59,18 +61,18 @@ class Minz_Session { } } } - - + + /** * Permet d'effacer une session * @param $force si à false, n'efface pas le paramètre de langue */ public static function unset_session ($force = false) { $language = self::param ('language'); - + session_unset (); self::$session = array (); - + if (!$force) { self::_param ('language', $language); } |
