rem: window.close(); 
add: return true; 
context: function doLoadDevice(){  var name_box = document.getElementById("device_name");  var path_box = document.getElementById("device_path");  pkcs11.addmodule(name_box.value, path_box.value, 0,0);  window.close();}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/5936aeb292ee5ffa0db2ed904fb351b438822196/device_manager.js/clean/security/manager/pki/resources/content/device_manager.js