rem: updateTimeLeft--; 
context: function ajax_pageUpdate() {	if (ajax_updateState == 1) {		if (updateTimeLeft < 0) {			if (silentEnabled == 0)				document.getElementById("span_update").innerHTML = "Update in progress...";			if ((titleChangeEnabled == 1) && (silentEnabled == 0))				document.title = "Update in progress... - "+ pageTitle;		} else if (updateTimeLeft == 0) {			updateTimeLeft = -1;			if (silentEnabled == 0)				document.getElementById("span_update").innerHTML = "Update in progress...";			if ((titleChangeEnabled == 1) && (silentEnabled == 0))				document.title = "Update in progress... - "+ pageTitle;			setTimeout("ajax_update();", 100);		} else {			if (silentEnabled == 0)				document.getElementById("span_update").innerHTML = "Next AJAX-Update in " + String(updateTimeLeft) + " seconds";			else				document.getElementById("span_update").innerHTML = "AJAX-Update enabled";		}		updateTimeLeft--;	} else {		document.getElementById("span_update").innerHTML = "AJAX-Update disabled";	}	setTimeout("ajax_pageUpdate();", 1000);}
meta: 9258	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9258/e2e345ac4c68cff54ea2de26d6e448bb986e89a2/ajax_index.js/clean/trunk/html/js/ajax_index.js