rem: if (selected_token.needsLogin()) { 
add: if (selected_token.needsLogin() || !(selected_token.needsUserInit)) { 
context: function enableButtons(){  var login_toggle = "true";  var logout_toggle = "true";  var pw_toggle = "true";  var unload_toggle = "true";  getSelectedItem();  if (selected_module) {    unload_toggle = "false";    showModuleInfo();  } else if (selected_slot) {    // here's the workaround - login functions are all with token,    // so grab the token type    var selected_token = selected_slot.getToken();    if (selected_token != null) {      if (selected_token.needsLogin()) {        pw_toggle = "false";        if (selected_token.isLoggedIn()) {          logout_toggle = "false";        } else {          login_toggle = "false";        }      }    }    showSlotInfo();  }  var thebutton = document.getElementById('login_button');  thebutton.setAttribute("disabled", login_toggle);  thebutton = document.getElementById('logout_button');  thebutton.setAttribute("disabled", logout_toggle);  thebutton = document.getElementById('change_pw_button');  thebutton.setAttribute("disabled", pw_toggle);  thebutton = document.getElementById('unload_button');  thebutton.setAttribute("disabled", unload_toggle);  // not implemented  //thebutton = document.getElementById('change_slotname_button');  //thebutton.setAttribute("disabled", toggle);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/6eca649dcb4345f7d755d9666e2d46d6bad4ae41/device_manager.js/clean/security/manager/pki/resources/content/device_manager.js