function GetXmlHttpObject(handler){
    var objXMLHttp=null
    if (window.XMLHttpRequest)
    {
        objXMLHttp=new XMLHttpRequest()
    }
    else if (window.ActiveXObject)
    {
        objXMLHttp=new ActiveXObject("Microsoft.XMLHTTP")
    }
    return objXMLHttp
}


function getURL(){
    if (xmlHttp.readyState==4 || xmlHttp.readyState=="complete")
    {
            document.getElementById("right_tree").innerHTML= xmlHttp.responseText;
            document.getElementById("right_tree").style.display="block";
    }
    else {
            //alert(xmlHttp.status);
    }
}

// Will populate data based on input
function getTreeInfo(cID){
    url="/public/get_file_info.php";
    if (url.length==0)
    {
        document.getElementById("right_tree").innerHTML=""; 
        return;
    }
    xmlHttp=GetXmlHttpObject()
    if (xmlHttp==null)
    {
        alert ("Browser does not support HTTP Request");
        return;
    }
		
    url=url+"?"+"id="+cID; 
    url=url+"&sid="+Math.random();
    xmlHttp.onreadystatechange=getURL;
    xmlHttp.open("GET",url,true) ;
    xmlHttp.send(null);
}



function isInteger (s) {
  var i;
  if (isEmpty(s))
  		if (isInteger.arguments.length == 1) return 0;
  else return (isInteger.arguments[1] == true);

  for (i = 0; i < s.length; i++)
  {
     var c = s.charAt(i);
     if (!isDigit(c)) return false;
  }
  return true;
}

function isEmpty(s){  
	return ((s == null) || (s.length == 0))
}

function isDigit (c){
  return ((c >= "0") && (c <= "9"))
}