44 minutes and 31 seconds | ||
Fabian Neundorf | 4521cb0 Changeset → | |
[IMPROV] Pagegen: Exit intersect if a gen is empty If a generator is already empty before the intersect_generator is started it shouldn't initialize anything and always return immediately to avoid creating any nonsensical threads. Change-Id: I36908a79adb7d8c692af40725e343b021354aba5 |