// header('Location: ?page=logout'); //change yoursite.com to the name of you site!!
} else {
if ($_SESSION['last_activity'] < time() - $_SESSION['expire_time']) {
//have we expired?
//redirect to logout.php
header('Location: ?page=logout');
//change yoursite.com to the name of you site!!
} else {
//if we haven't expired:
$_SESSION['last_activity'] = time();
//this was the moment of last activity.
}
$level = 1;
$symbol_menu['role_id'] = 1;
$symbol_menu['page_name'] = $_GET['page'];
$menu_array = $new->get_role_allocated_to_pages($symbol_menu);
$page_value = $_GET['page'];
if ($level == 1) {
$page = isset($_GET['page']) ? $_GET['page'] : 'index';
} else {
if (is_array($menu_array)) {
if ($menu_array['status'] == 0) {
if ($page_value == "index") {
$page = isset($_GET['page']) ? $_GET['page'] : 'error_page';
} else {
?>
<script language="JavaScript" type="text/javascript">
setTimeout("location.href = '?page=error_page'",2000); // milliseconds, so 10 seconds = 10000ms
</script>
<?php
}
