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")); |
} |
}); |
} |