<!DOCTYPE html> <?php require_once dirname(__FILE__) . "/login.php"; if (check_logged_in()) { header('Location: /pages/classes/main.php'); } else { echo manage_output(draw_login_page(get_post_var('session_expired'))); }
exit; } } else { $prev_login_failed = FALSE; if (isset($_GET["failed"])) { $prev_login_failed = TRUE; } $session_expired = FALSE; if (isset($_GET["session"])) { $session_expired = TRUE; } $no_cookies = FALSE; if (isset($_GET["nocookies"])) { $no_cookies = TRUE; } draw_login_page($project_table, $prev_login_failed, $session_expired, $no_cookies); exit; } # LOGOUT OF CODETRACK. IN: $origin # Note, page=timeout is called when client META refresh expires; code below in turn calls login, # passing expiration flag. Could call page=login&session=expired directly from META, # but ampersands in META clause (escaped or not) break many 4.x browsers. # LOGOUT OF CODETRACK. IN: $origin # Note, page=timeout is called when client META refresh expires; code below in turn calls login, # passing expiration flag. Could call page=login&session=expired directly from META, # but ampersands in META clause (escaped or not) break many 4.x browsers. case "logout": case "timeout": print "<html><body><script type='text/javascript'> " . "document.cookie=\"codetrack_session=;\"; " . "location.replace('codetrack.php?page=login"; if ($page == "timeout") { print "&session=expired";