/** Basic AJAX library
 * A set of standard AJAX functions and
 * variables.
 */
 
//-Variables-//
var XMLHttp;
var AJAXUrl; //NOTE: This needs to be set in the file

//-Functions-//
function GetXmlHttpObject()
{ 
	var objXMLHttp = null;
	if(window.XMLHttpRequest)
	{
		objXMLHttp = new XMLHttpRequest();
	}
	else if(window.ActiveXObject)
	{
		objXMLHttp = new ActiveXObject("Microsoft.XMLHTTP");
	}
	return objXMLHttp;
}
function serverComm(urlAppend, after)
{
    if(typeof(after) == "undefined")
		after = responseFunction();
    XMLHttp=GetXmlHttpObject();
    if(XMLHttp == null)
    {
		return;
    }
    if(AJAXUrl == "")
    {
		alert("WARNING: AJAXUrl variable not set! Unable to load.");
		return;
    }
    var url = AJAXUrl;
    url = url + urlAppend;
    url = url + "&sid=" + Math.random();
    XMLHttp.onreadystatechange = after;
    XMLHttp.open("GET",url,true);
    XMLHttp.send(null);
}
function responseFunction()
{
	if(XMLHttp.readyState == 4 || XMLHttp.readyState == "complete")
	{
		eval(XMLHttp.responseText);
	}
}
function afterSend()
{
	if(XMLHttp.readyState == 4 || XMLHttp.readyState == "complete")
	{
		eval(XMLHttp.responseText);
	}
}
function fatalServerError(title, msg)
{
	if(!document.getElementById('special'))
		document.body.innerHTML = document.body.innerHTML + "<div id=\"special\"> </div>";
	document.getElementById('special').innerHTML = "<div style=\"font-size: large;\">" + title + "</div>" + msg;
}