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