add: isBusy = false; 
context: function handleUserResponse() {    if (http.readyState == 4) {        userList = document.getElementById("userList");        for (i = userList.options.length; i >= 0; i--) {            userList.options[i] = null;        }           //userList.onchange = null;        data = http.responseText;          //alert(data);        if (data.indexOf("\n") != -1) {            lines = data.split('\n');            for (i = 0; i < lines.length; i++) {                if (lines[i].indexOf(',') != -1) {                   userArray = lines[i].split(',');                   userList.options[userList.length] =                       new Option(userArray[0] + " (" + userArray[1] + ")", userArray[0]);                }            }        }          isBusy = false;    }}
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