+ if (file) {
+ var reader = new FileReader();
+ reader.onerror = function (evt) {
+ debug("file open failed");
+ }
+ reader.onload = function (evt) {
+ lockedbackup = "";
+ locked.innerHTML = lockedbackup;
+ unlocked.innerHTML = "";
+ unlocked.appendChild(document.createTextNode(evt.target.result));
+ uploadBox.style.display = "none";
+ }
+ try { reader.readAsText(file, "UTF-8"); }
+ catch (err) { /* nothing to do */ };
+ uploadBox.style.display = "none";
+ }