Maison > Article > développement back-end > Comment utiliser le paramètre de délai d'expiration de session en php ?
Comment définir le délai d'expiration de la session en PHP : 1. Définissez le fichier de configuration [php.ini] et utilisez la fonction [ini_set] pour modifier la valeur de l'attribut du contexte actuel 2. Définissez l'horodatage de la session, le le code est [unset( $_SESSION['expiretime'])].
Comment utiliser le paramètre de délai d'expiration de session en PHP :
La première méthode, consiste à définir le fichier de configuration php.ini
et à définir la valeur de l'attribut du nœud session.gc_maxlifetime和session.cookie_lifetime
. Bien sûr, vous pouvez également utiliser la fonction ini_set
pour modifier la valeur de l'attribut du contexte actuel :
ini_set('session.gc_maxlifetime', "3600"); // 秒 ini_set("session.cookie_lifetime","3600"); // 秒.
La méthode du deuxième type, consiste à définir l'horodatage Session
, comme la méthode suivante.
Réglez l'horodatage sur 1 heure plus tard que l'heure actuelle lorsque vous vous connectez avec succès, $_SESSION['expiretime'] = time() + 3600;
. Utilisez le code suivant pour vérifier l'état de connexion de l'utilisateur :
if(isset($_SESSION['expiretime'])) { if($_SESSION['expiretime'] < time()) { unset($_SESSION['expiretime']); header('Location: logout.php?TIMEOUT'); // 登出 exit(0); } else { $_SESSION['expiretime'] = time() + 3600; // 刷新时间戳 } }
Recommandations d'apprentissage associées : Programmation PHP de l'entrée à la maîtrise
Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!