diff options
| author | Mike Frysinger <vapier@google.com> | 2021-02-16 01:56:30 -0500 |
|---|---|---|
| committer | Mike Frysinger <vapier@google.com> | 2021-02-22 22:51:46 +0000 |
| commit | 15e807cf3c5d3bf7e142f74edea219514caa749a (patch) | |
| tree | 58d489bd23c7abcaf99ebd86e0b70c95b775e14e /platform_utils.py | |
| parent | 7c871163c8803e812998e5b2296e3bbb30b1367f (diff) | |
| download | git-repo-15e807cf3c5d3bf7e142f74edea219514caa749a.tar.gz | |
forall: improve pool logic
Use a pool contextmanager to take care of the messy details like
properly cleaning it up when aborting.
Change-Id: I264ebb591c2e67c9a975b6dcc0f14b29cc66a874
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/297243
Reviewed-by: Chris Mcdonald <cjmcdonald@google.com>
Tested-by: Mike Frysinger <vapier@google.com>
Diffstat (limited to 'platform_utils.py')
0 files changed, 0 insertions, 0 deletions