Index: webrequest.js |
=================================================================== |
--- a/webrequest.js |
+++ b/webrequest.js |
@@ -18,6 +18,7 @@ |
var FilterNotifier = require("filterNotifier").FilterNotifier; |
var RegExpFilter = require("filterClasses").RegExpFilter; |
var platform = require("info").platform; |
+var logRequest = require("devtools").logRequest; |
var onFilterChangeTimeout = null; |
function onFilterChange() |
@@ -77,7 +78,9 @@ |
showNotification(notificationToShow); |
} |
+ logRequest(page, url, type, docDomain, key, filter); |
FilterNotifier.triggerListeners("filter.hitCount", filter, 0, 0, page); |
+ |
return !(filter instanceof BlockingFilter); |
} |