add: getSelectedItem(); if (selected_module) { pkcs11.deletemodule(selected_module.name); var device_list = document.getElementById("device_list"); while (device_list.firstChild) device_list.removeChild(device_list.firstChild); LoadModules(); } 
context: function doUnload(){  // to be implemented by pkcs11 object}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/a8d9dd1b3cf913ccadb921ed90611276f4ea82cf/device_manager.js/clean/security/manager/pki/resources/content/device_manager.js