O PHP já possui um parametro session.gc_maxlifetime
, que pode ser alterado.
Edite o PHP.ini:
session.gc_maxlifetime = 1800
Isso irá fazer expirar a sessão após 1800 segundos (30 minutos).
Verifique se existe a sessão:
Dessa forma apenas verifique se existe a sessão:
<?php
if(isset($_SESSION['sua_sessao'])){
// Se houver sessão - OK
}else{
header('location: logout.php');
// Se não houver - Redireciona para logout.php
}
?>
A sessão irá expirar em 30 minutos e irá redirecionar para logout.php.
Problemas e correções:
Suponha que um usuário NUNCA fez o login, se ele acessar a página será redirecionado para logout.php, porque também não possui sessão, o que no meu entender seria errado.
Por isso crie um cookie quando fizer o login e verifique da seguinte forma:
<?php
//...
}else{
if(isset($_COOKIE['login'])){
// Se existe o cookie, que já indica que o usuário já se conectou alguma vez
header('location: logout.php');
// Redireciona para logout.
}else{
// Se o visitante caiu de paraquedas na página e nunca fez o login
header('location: login.php');
// Redireciona para o login.
}
?>