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
Utilisation classique
<?php
// Inclusion de la classe MySQL
include '../mysql/mysql.php';
// Inclusion de la classe Sessions
include 'sessions.php';
// Nouvelle Instance
$S = &new Sessions;
// ----------------------------------------------------- //
// Utilisation classique des fonctions session_* de PHP //
// --------------------------------------------------- //
session_start();
// reste de votre code
?>
// Inclusion de la classe MySQL
include '../mysql/mysql.php';
// Inclusion de la classe Sessions
include 'sessions.php';
// Nouvelle Instance
$S = &new Sessions;
// ----------------------------------------------------- //
// Utilisation classique des fonctions session_* de PHP //
// --------------------------------------------------- //
session_start();
// reste de votre code
?>
