如何在会话超时时自动刷新

Question

I am trying to refresh page automatically when session times out. I have look other post but I think we are not same problem.

I have the session out code:

$inactive = 10;
if( !isset($_SESSION['timeout']) )
$_SESSION['timeout'] = time() + $inactive; 

$session_life = time() - $_SESSION['timeout'];

if($session_life > $inactive)
{  session_destroy(); header("Location: http://localhost/fmsgroup/fmsystempanamed/logout/endsession.php");     }

$_SESSION['timeout']=time();

what will I add so that when it refresh it will go to the header.

Answer 1

It depends on your session implementation.

1. file-based

There is no expire hook or callback event, so you can only use ajax polling, which ,in your case, server will redirect the page

1. redis-based

redis 2.8+ has keyspace notifications, so if you watch your session database, you can get notified when session expired.

BUT, this would be an expensive solution. Because you have your PHP process blocking to wait the event, NOT RECOMMENDED.

Or there may be another one:

Set your session.gc_maxlifetime equal to session.cookie_lifetime, so when the session expire, the cookie should expire at the same time, so js won't have to poll from server, instead, it can check the local cookie periodically.