| Index: chrome/content/ui/filters-backup.js |
| =================================================================== |
| --- a/chrome/content/ui/filters-backup.js |
| +++ b/chrome/content/ui/filters-backup.js |
| @@ -169,17 +169,17 @@ var Backup = |
| FilterStorage.loadFromDisk(file); |
| }, |
| /** |
| * Restores custom filters from a file. |
| */ |
| restoreCustomFilters: function(/**nsIFile*/ file) |
| { |
| - IO.readFromFile(file, true, { |
| + IO.readFromFile(file, { |
| seenHeader: false, |
| subscription: null, |
| process: function(line) |
| { |
| if (!this.seenHeader) |
| { |
| // This should be a header |
| this.seenHeader = true; |
| @@ -326,17 +326,17 @@ var Backup = |
| list.splice(1, 0, "! Checksum: " + checksum); |
| function generator() |
| { |
| for (let i = 0; i < list.length; i++) |
| yield list[i]; |
| } |
| - IO.writeToFile(file, true, generator(), function(e) |
| + IO.writeToFile(file, generator(), function(e) |
| { |
| if (e) |
| { |
| Cu.reportError(e); |
| Utils.alert(window, E("backupButton").getAttribute("_backupError"), E("backupButton").getAttribute("_backupDialogTitle")); |
| } |
| }); |
| } |