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