/**
 *	Redirects to login.
 *  Displays Session expired message if the page was opened from within the project directory.
 *
 */
function redirectToLogin()
{
    $expired = "";
    $url = "http://";
    if ($_SERVER["HTTPS"] && $_SERVER["HTTPS"] != "off") {
        $url = "https://";
    }
    $url .= $_SERVER["HTTP_HOST"] . $_SERVER['REQUEST_URI'];
    global $logoutPerformed;
    if (!$logoutPerformed && isset($_SERVER['HTTP_REFERER'])) {
        if (getDirectoryFromURI($_SERVER['HTTP_REFERER']) == getDirectoryFromURI($url) && getFilenameFromURI($_SERVER['HTTP_REFERER']) != "index.htm" && $_SERVER['HTTP_REFERER'] != getDirectoryFromURI($url)) {
            $expired = "&message=expired";
        }
    }
    HeaderRedirect("login", "", "return=true" . $expired);
    exit;
}
/**
 *	Redirects to login.
 *  Displays Session expired message if the page was opened from within the project directory.
 *
 */
function redirectToLogin()
{
	
	$expired = "";
	$url = "http://";
	if( $_SERVER["HTTPS"] && $_SERVER["HTTPS"] != "off")
		$url = "https://";
	$url .= $_SERVER["HTTP_HOST"] . $_SERVER['REQUEST_URI'];


	if( isset($_SERVER['HTTP_REFERER']) )
	{
		if( getDirectoryFromURI( $_SERVER['HTTP_REFERER'] ) == getDirectoryFromURI( $url ) 
			&& getFilenameFromURI( $_SERVER['HTTP_REFERER'] ) != "index.htm" 
			&& $_SERVER['HTTP_REFERER'] != getDirectoryFromURI( $url ))
			$expired = "message=expired";
	}
	HeaderRedirect("login", "", $expired);
	exit();
}