Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- /*
- Session Time Out Management
- */
- if (isset($_SESSION['LAST_ACTIVITY']) && ((time()-$_SESSION['LAST_ACTIVITY']) > $site_settings->session_timeout) && $user->isLoggedIn()) {
- session_unset(); // unset $_SESSION variable for the run-time
- session_destroy(); // destroy session data in storage
- Redirect::to($us_url_root);
- }
- $_SESSION['LAST_ACTIVITY'] = time(); // update last activity time stamp
Advertisement
Add Comment
Please, Sign In to add comment