blob: c859be2edf333b7fbe1a9b72cbcd85ac9c61de97 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
|
<?php
/**
* La classe Session gère la session utilisateur
* C'est un singleton
*/
class Minz_Session {
/**
* $session stocke les variables de session
*/
private static $session = array (); //TODO: Try to avoid having another local copy
/**
* 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($name) {
$cookie = session_get_cookie_params();
self::keepCookie($cookie['lifetime']);
// démarre la session
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
* @return la valeur de la variable de session, false si n'existe pas
*/
public static function param ($p, $default = false) {
return isset(self::$session[$p]) ? self::$session[$p] : $default;
}
/**
* Permet de créer ou mettre à jour une variable de session
* @param $p le paramètre à créer ou modifier
* @param $v la valeur à attribuer, false pour supprimer
*/
public static function _param ($p, $v = false) {
if ($v === false) {
unset ($_SESSION[$p]);
unset (self::$session[$p]);
} else {
$_SESSION[$p] = $v;
self::$session[$p] = $v;
}
}
/**
* 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_destroy();
self::$session = array ();
if (!$force) {
self::_param ('language', $language);
Minz_Translate::reset ();
}
}
/**
* Spécifie la durée de vie des cookies
* @param $l la durée de vie
*/
public static function keepCookie($l) {
$cookie_dir = dirname(
empty($_SERVER['SCRIPT_NAME']) ? '' : $_SERVER['SCRIPT_NAME']
) . '/';
session_set_cookie_params($l, $cookie_dir, $_SERVER['HTTP_HOST'],
false, true);
}
/**
* Régénère un id de session.
* Utile pour appeler session_set_cookie_params après session_start()
*/
public static function regenerateID() {
session_regenerate_id(true);
}
}
|
