diff options
| author | Jan Tojnar <jtojnar@gmail.com> | 2019-04-12 17:46:36 +0200 |
|---|---|---|
| committer | Jan Tojnar <jtojnar@gmail.com> | 2020-09-18 20:52:07 +0200 |
| commit | 5adbeb13c5ae590ea31bf5599c54b9b604edc380 (patch) | |
| tree | f56ef925786ea816638fa9d508d1ba196de2175a /maintainers/scripts | |
| parent | 441a7da8080352881bb52f85e910d8855e83fc55 (diff) | |
update.nix: use ThreadPoolExecutor
Not sure why I chose ProcessPoolExecutor in the first place.
Diffstat (limited to 'maintainers/scripts')
| -rw-r--r-- | maintainers/scripts/update.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/maintainers/scripts/update.py b/maintainers/scripts/update.py index eb7d0ef2647b..b9e17736bed3 100644 --- a/maintainers/scripts/update.py +++ b/maintainers/scripts/update.py @@ -31,7 +31,7 @@ def main(max_workers, keep_going, packages): eprint() eprint('Running update for:') - with concurrent.futures.ProcessPoolExecutor(max_workers=max_workers) as executor: + with concurrent.futures.ThreadPoolExecutor(max_workers=max_workers) as executor: for package in packages: updates[executor.submit(run_update_script, package)] = package |