tree a2c8b2c570bf83bca1d08b6e7c0394369d8c1565
parent 33fe4e99f95125a0083e97c4c143d1fb5134cf36
author Anthony King <anthonydking@slimroms.net> 1428495750 +0100
committer Anthony King <anthonydking@slimroms.net> 1428495754 +0100

forall: use a generator to map the Pool

Before, a list was generated, which is why there was a massive delay.

Using a generator will allow processes to start straight away

Change-Id: Ia325b0b340cc328c08c9bcc92a6709bbdaf6a664