Sessions
La classe Sessions réecrie le gestionnaire de sessions de PHP pour qu' il utilise une base de donnée pour le stockage des informations, à la place du sytème de fichiers utilisé par défaut.
Cette classe dispose également d' autres options, notemment la possibilité d' utiliser un Garbage Collector propre à la classe, ce qui permet de le configurer à votre convenance sans retoucher au php.ini ou encore la possibilité de sauvegarder une session (un environnement) pour une durée plus longue et configurable.
Les Méthodes
- Sessions - Nouvelle Instance
- Load_my_GC; - Charger le Garbage Collector de la classe
- Set_my_GC_probability; - Fixer la fréquence d' appel du Garbage Collector
- Save_environnement; - Sauvegarder une session
- Unset_environnement; - Passer une session sauvegardée en mode Normal (non sauvegardée)
- Is_environnement; - Verifier la presence d' une session dans la base de donnée
Exemples
Description des Méthodes
Nouvelle Instance
Sessions( [ int Expire [ , int ExpireMax ]] )
Constructeur de la classe. Il initialise quelques variables de la classe, fixe la durée de vie de la session courante et de toute session meme sauvegardée.
- Expire : fixe la durée de vie de la session courante.
- ExpireMax : fixe la durée de vie maximum de toute session, meme sauvegardée.
$Sess = &new Sessions;$Sess = &new Sessions(86400);$Sess = &new Sessions(3600, 86400);
Charger le Garbage Collector de la classe
Load_my_GC();
Charge le Garbage Collector de la classe. La fréquence d' appel est reglée à 20% par défaut (1 appel sur 5). Vous pouvez modifier ce parametre à l' aide de la methode Set_my_GC_probaility() .
$Sess -> Load_my_GC();
Fixer la fréquence d' appel du Garbage Collector
Set_my_GC_probability( int Probability );
Fixe la fréquence d' appel du Garbage Collector a Probability %.
- Probability : Pourcentage fixant la probabilité d' exécution du Garbage Collector. Sachez que ce pourcentage est reglé à 1 % par défaut dans le php.ini et la classe le repositionne à 20 % par défaut
$Sess -> Set_my_GC_probability(25);
Sauvegarder une session
Save_environnement( string SessionID [ , int Expire ] );
Cette methode permet de sauvegarder une session pour une durée plus longue dans la base de donnée. Un cookie nommé SESS_ID et contenant l' ID de session est envoyé au client. Un champ de la table est également passé à 1 ce qui permet de supprimer cette session apres ExpireMax secondes et non plus Expire (Ces 2 parametres sont definies dans le constructeur de la classe.
- SessionID : L' ID de la session à sauvegarder
- Expire : Si ce parametre est spécifié, la session sauvegardée expirera après Expire secondes.
$Sess -> Save_environnement($SessionID);$Sess -> Save_environnement($SessionID, 100000);
Passer une session sauvegardée en mode Normal (non sauvegardée)
Unset_environnement( string SessionID );
Cette methode permet de passer une session, du mode sauvegardé au mode normal.
- SessionID : L' ID de la session à traiter
$Sess -> Unset_environnement($SessionID);$Sess -> Unset_environnement(session_id());
Verifier la presence d' une session dans la base de donnée
Is_environnement( string SessionID );
Cette methode permet de verifier qu' une session est présente ou non dans la base de donnée.
- SessionID : L' ID de la session à traiter
$Sess -> Is_environnement($SessionID);
