/* SESSION EXPIRATION INFO */

function SessionExpiration() {
	try {
		var dd = new Date();
		var diff = (dd.getTime() - generate_time.getTime()) / 1000;

		// workaround: FF1.5 with multiple iframes
		if (session_expiration - 100 < diff || diff > session_expiration)
		{
			alert("Your session has expired. Please log in again.");
			window.location = mainurl + session_user_login_page;
		}
	} catch(e) { doerror(e,'session.js-SessionExpiration','',1); };
}

function InitSession()
{
	if (typeof session_expiration != 'undefined')
	{
		window.setTimeout("SessionExpiration()", session_expiration * 1000);
	}
}

addOpenEvent(InitSession);