var DEBUG = false;
var refresh_interval = 60000;
var refresh_timer_id = null;

//var refresh_source_url = top.selector.loggerurl;
//var refresh_source_url = 'http://' + location.host + '/wcsd/utils/get_db_devices_xml.php?loggerids[]=<?=$loggerid?><?=$moreloggerids?>';

function enableRefresh(interval, donow){
   if(DEBUG) java.lang.System.out.println("local is " + local);
   if(refresh_timer_id == null && !local){
      if(DEBUG) java.lang.System.out.println("load: enable refresh at " + interval);
      refresh_timer_id = setInterval("loadXML('" + refresh_source_url + "')", interval);
      if(donow) loadXML(refresh_source_url);
   }
}

function enableRefresh1(interval, donow){
   if(DEBUG) java.lang.System.out.println("local is " + local);
   if(refresh_timer_id == null && !local){
      if(DEBUG) java.lang.System.out.println("focus: enable refresh at " + interval);
      refresh_timer_id = setInterval("loadXML('" + refresh_source_url + "')", interval);
      if(donow) loadXML(refresh_source_url);
   }
}

function disableRefresh(){
      if(DEBUG) java.lang.System.out.println("disable refresh a");
   if(refresh_timer_id != null){
      if(DEBUG) java.lang.System.out.println("disable refresh b");
      clearInterval(refresh_timer_id);
      refresh_timer_id = null;
   }
}

window.onload = function() { enableRefresh(refresh_interval, false); }
top.window.onfocus = function() { enableRefresh(refresh_interval, false); }
top.window.onblur = function() { 
	disableRefresh(refresh_interval, false); 
}