+
+ if (!isset($_SESSION["serv_humannode"])) {
+ $server_info = ctdl_get_serv_info();
+ // print_r($server_info);
+ $keys = array_keys($server_info);
+ foreach ($keys as $key)
+ $_SESSION[$key] = $server_info[$key];
+ }
+
+ // 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 (isset($_SESSION["logged_in"]) && ($_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);
+ }