rem: if (isBusy) http.abort(); 
add: if (isBusy) return; 
context: function sendUserRequest(url) {    if (isBusy) http.abort();    isBusy = true;    http.open('get', url);    http.onreadystatechange = handleUserResponse;    http.send(null);}
meta: 1202	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1202/3db1a3588821d0a7d5008d0dcd2caf3536e7d05b/ajax-user.js/buggy/web/theme/scripts/ajax-user.js