Index: background.js |
=================================================================== |
--- a/background.js |
+++ b/background.js |
@@ -34,16 +34,17 @@ var Prefs = require("prefs").Prefs; |
var Synchronizer = require("synchronizer").Synchronizer; |
var Utils = require("utils").Utils; |
// Some types cannot be distinguished |
RegExpFilter.typeMap.OBJECT_SUBREQUEST = RegExpFilter.typeMap.OBJECT; |
RegExpFilter.typeMap.MEDIA = RegExpFilter.typeMap.FONT = RegExpFilter.typeMap.OTHER; |
var isFirstRun = false; |
+var seenDataCorruption = false; |
require("filterNotifier").FilterNotifier.addListener(function(action) |
{ |
if (action == "load") |
{ |
importOldData(); |
var addonVersion = require("info").addonVersion; |
var prevVersion = localStorage["currentVersion"]; |