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: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/65c061212d2e3f9108776361db9b5d7f1f82b6b4/device_manager.js/clean/security/manager/pki/resources/content/device_manager.js