rem:  if ( data ) xml.setRequestHeader("Content-Type", "application/x-www-form-urlencoded");   xml.setRequestHeader("X-Requested-With", "XMLHttpRequest");   if ( xml.overrideMimeType ) xml.setRequestHeader("Connection", "close");   xml.onreadystatechange = function(){  if ( xml.readyState == 4 ) {  if ( jQuery.httpSuccess( xml ) ) {   if ( success ) success( xml ); 
add:  xml.open(type || "GET", url, true);   if ( data ) xml.setRequestHeader("Content-Type", "application/x-www-form-urlencoded");   xml.setRequestHeader("X-Requested-With", "XMLHttpRequest");   if ( xml.overrideMimeType ) xml.setRequestHeader("Connection", "close");   xml.onreadystatechange = function(){  if ( xml.readyState == 4 ) {  if ( jQuery.httpSuccess( xml ) ) { 
context: jQuery.ajax = function( type, url, data, ret ) {	// If only a single argument was passed in,	// assume that it is a object of key/value pairs	if ( !url ) {		ret = type.complete;		var success = type.success;		var error = type.error;		data = type.data;		url = type.url;		type = type.type;	}		// Watch for a new set of requests	if ( ! jQuery.ajax.active++ )		jQuery.event.trigger( "ajaxStart" );	// Create the request object	var xml = new XMLHttpRequest();	// Open the socket	xml.open(type || "GET", url, true);		// Set the correct header, if data is being sent	if ( data )		xml.setRequestHeader("Content-Type", "application/x-www-form-urlencoded");	// Set header so calling script knows that it's an XMLHttpRequest	xml.setRequestHeader("X-Requested-With", "XMLHttpRequest");	// Make sure the browser sends the right content length	if ( xml.overrideMimeType )		xml.setRequestHeader("Connection", "close");	// Wait for a response to come back	xml.onreadystatechange = function(){		// The transfer is complete and the data is available		if ( xml.readyState == 4 ) {			// Make sure that the request was successful			if ( jQuery.httpSuccess( xml ) ) {							// If a local callback was specified, fire it				if ( success ) success( xml );								// Fire the global callback				jQuery.event.trigger( "ajaxSuccess" );						// Otherwise, the request was not successful			} else {				// If a local callback was specified, fire it				if ( error ) error( xml );								// Fire the global callback				jQuery.event.trigger( "ajaxError" );			}						// The request was completed			jQuery.event.trigger( "ajaxComplete" );						// Handle the global AJAX counter			if ( ! --jQuery.ajax.active )				jQuery.event.trigger( "ajaxStop" );			// Process result			if ( ret ) ret(xml);		}	};	// Send the data	xml.send(data);};
meta: 1375	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1375/9477c418dbf50f2341dec7c02f60ab3d77da5378/ajax.js/buggy/ajax/ajax.js