- if(isset($_SESSION['expiretime'])) {
- if($_SESSION['expiretime'] < time()) {
- unset($_SESSION['expiretime']);
- header('Location: logout.php?TIMEOUT'); // 登出
- exit(0);
- } else {
- $_SESSION['expiretime'] = time() + 3600; // 刷新时间戳
- }
- }
PHP设置SESSION时间
最新推荐文章于 2021-03-25 23:57:39 发布