| OLD | NEW |
| 1 /* | 1 /* |
| 2 * This file is part of Adblock Plus <https://adblockplus.org/>, | 2 * This file is part of Adblock Plus <https://adblockplus.org/>, |
| 3 * Copyright (C) 2006-2016 Eyeo GmbH | 3 * Copyright (C) 2006-2016 Eyeo GmbH |
| 4 * | 4 * |
| 5 * Adblock Plus is free software: you can redistribute it and/or modify | 5 * Adblock Plus is free software: you can redistribute it and/or modify |
| 6 * it under the terms of the GNU General Public License version 3 as | 6 * it under the terms of the GNU General Public License version 3 as |
| 7 * published by the Free Software Foundation. | 7 * published by the Free Software Foundation. |
| 8 * | 8 * |
| 9 * Adblock Plus is distributed in the hope that it will be useful, | 9 * Adblock Plus is distributed in the hope that it will be useful, |
| 10 * but WITHOUT ANY WARRANTY; without even the implied warranty of | 10 * but WITHOUT ANY WARRANTY; without even the implied warranty of |
| (...skipping 777 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 788 finally | 788 finally |
| 789 { | 789 { |
| 790 Filter.knownFilters = origKnownFilters; | 790 Filter.knownFilters = origKnownFilters; |
| 791 Subscription.knownSubscriptions = origKnownSubscriptions; | 791 Subscription.knownSubscriptions = origKnownSubscriptions; |
| 792 } | 792 } |
| 793 | 793 |
| 794 // Allow events to be processed every now and then. | 794 // Allow events to be processed every now and then. |
| 795 // Note: IO.readFromFile() will deal with the potential reentrance here. | 795 // Note: IO.readFromFile() will deal with the potential reentrance here. |
| 796 this.linesProcessed++; | 796 this.linesProcessed++; |
| 797 if (this.linesProcessed % 1000 == 0) | 797 if (this.linesProcessed % 1000 == 0) |
| 798 Utils.yield(); | 798 return Utils.yield(); |
| 799 } | 799 } |
| 800 }; | 800 }; |
| OLD | NEW |