Session.php 2.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384
  1. <?php
  2. /**
  3. * La classe Session gère la session utilisateur
  4. */
  5. class Minz_Session {
  6. /**
  7. * Initialise la session, avec un nom
  8. * Le nom de session est utilisé comme nom pour les cookies et les URLs(i.e. PHPSESSID).
  9. * Il ne doit contenir que des caractères alphanumériques ; il doit être court et descriptif
  10. */
  11. public static function init($name) {
  12. $cookie = session_get_cookie_params();
  13. self::keepCookie($cookie['lifetime']);
  14. // démarre la session
  15. session_name($name);
  16. session_start();
  17. }
  18. /**
  19. * Permet de récupérer une variable de session
  20. * @param $p le paramètre à récupérer
  21. * @return la valeur de la variable de session, false si n'existe pas
  22. */
  23. public static function param($p, $default = false) {
  24. return isset($_SESSION[$p]) ? $_SESSION[$p] : $default;
  25. }
  26. /**
  27. * Permet de créer ou mettre à jour une variable de session
  28. * @param $p le paramètre à créer ou modifier
  29. * @param $v la valeur à attribuer, false pour supprimer
  30. */
  31. public static function _param($p, $v = false) {
  32. if ($v === false) {
  33. unset($_SESSION[$p]);
  34. } else {
  35. $_SESSION[$p] = $v;
  36. }
  37. }
  38. /**
  39. * Permet d'effacer une session
  40. * @param $force si à false, n'efface pas le paramètre de langue
  41. */
  42. public static function unset_session($force = false) {
  43. $language = self::param('language');
  44. session_destroy();
  45. $_SESSION = array();
  46. if (!$force) {
  47. self::_param('language', $language);
  48. Minz_Translate::reset();
  49. }
  50. }
  51. /**
  52. * Spécifie la durée de vie des cookies
  53. * @param $l la durée de vie
  54. */
  55. public static function keepCookie($l) {
  56. $cookie_dir = dirname(
  57. empty($_SERVER['REQUEST_URI']) ? '' : $_SERVER['REQUEST_URI']
  58. ) . '/';
  59. session_set_cookie_params($l, $cookie_dir, $_SERVER['HTTP_HOST'],
  60. false, true);
  61. }
  62. /**
  63. * Régénère un id de session.
  64. * Utile pour appeler session_set_cookie_params après session_start()
  65. */
  66. public static function regenerateID() {
  67. session_regenerate_id(true);
  68. }
  69. }