dwh/session_checker.php

18 lines
268 B
PHP
Raw Normal View History

2023-10-02 10:26:17 +00:00
<?php
include_once 'headerFile.php';
$script_name = basename($_SERVER['SCRIPT_NAME']);
if ($script_name != 'index.php') {
if (!check_session()) {
redirect("./index.php");
exit();
}
} else {
if (!is_null($_SESSION['LAST_LOGIN'])) {
check_session();
}
}
?>