Mirrors
/
uBlock
mirror of https://github.com/gorhill/uBlock.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

fix #3341

This commit is contained in:
Raymond Hill 2017-12-13 08:02:55 -05:00
parent 0e9fbce041
commit ca8917149d
No known key found for this signature in database
GPG Key ID: 25E1490B761470C2
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/js/contentscript.js
View File

@ -624,7 +624,7 @@ vAPI.DOMFilterer = (function() {
t1 = Date.now(); t1 = Date.now();
pselector.budget += t0 - t1; pselector.budget += t0 - t1;
if ( pselector.budget < -500 ) { if ( pselector.budget < -500 ) {
console.log('uBO: disabling %s', pselector.raw); console.info('uBO: disabling %s', pselector.raw);
pselector.budget = -0x7FFFFFFF; pselector.budget = -0x7FFFFFFF;
} }
t0 = t1; t0 = t1;
@ -1066,7 +1066,7 @@ vAPI.domSurveyor = (function() {
return; return;
} }
console.log('dom surveyor shutting down: too many misses'); //console.info('dom surveyor shutting down: too many misses');
surveyTimer.clear(); surveyTimer.clear();
vAPI.domWatcher.removeListener(domWatcherInterface); vAPI.domWatcher.removeListener(domWatcherInterface);