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