diff options
| author | Anthony King <anthonydking@slimroms.net> | 2015-04-08 13:22:30 +0100 |
|---|---|---|
| committer | Anthony King <anthonydking@slimroms.net> | 2015-04-08 13:22:34 +0100 |
| commit | 6ad6dbefe79196f0d7bb717fa9279837083e9113 (patch) | |
| tree | a2c8b2c570bf83bca1d08b6e7c0394369d8c1565 /manifest_xml.py | |
| parent | 33fe4e99f95125a0083e97c4c143d1fb5134cf36 (diff) | |
| download | git-repo-6ad6dbefe79196f0d7bb717fa9279837083e9113.tar.gz | |
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
Diffstat (limited to 'manifest_xml.py')
0 files changed, 0 insertions, 0 deletions