add: } 
context: function ajax_update() {	if (ajax_updateState == 1) {		try {		    if (!ajax_httpRequest)		        ajax_httpRequest = ajax_getHttpRequest();		    else if (ajax_httpRequest.readyState != 0)		        ajax_httpRequest.abort();			ajax_httpRequest.onreadystatechange = ajax_updateCallback;			ajax_httpRequest.open('GET', ajax_updateUrl + ajax_updateParams, true);			ajax_httpRequest.send(null);		} catch (ajaxception) {			if (ajax_debug)				alert(ajaxception);		    ajax_updateState = 0;		}	}}
meta: 9258	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9258/e2e345ac4c68cff54ea2de26d6e448bb986e89a2/ajax.js/clean/trunk/html/js/ajax.js