- // If the user is trying to call up any page other than
- // login.php logout.php do_login.php,
- // and the session is not logged in, redirect to login.php
- //
- if ($_SESSION["logged_in"] != 1) {
- $filename = basename(getenv('SCRIPT_NAME'));
- if ( (strcmp($filename, "login.php"))
- && (strcmp($filename, "logout.php"))
- && (strcmp($filename, "do_login.php"))
- ) {
- header("Location: login.php");
- exit(0);
- }
- }
-