diff options
| author | André Glüpker <git@wgmd.de> | 2018-06-04 19:03:16 +0200 |
|---|---|---|
| committer | André Glüpker <git@wgmd.de> | 2018-06-04 19:03:16 +0200 |
| commit | 9bf6c0562f02c31660930c9a8290fac7fe338c3b (patch) | |
| tree | 9873a383628682a3413462eadeb67018857693ca | |
| parent | 1783aa1027a575407401160381de21a8512f3a04 (diff) | |
| download | update-git-9bf6c0562f02c31660930c9a8290fac7fe338c3b.tar.gz update-git-9bf6c0562f02c31660930c9a8290fac7fe338c3b.tar.bz2 update-git-9bf6c0562f02c31660930c9a8290fac7fe338c3b.zip | |
Reduce number of workers
| -rwxr-xr-x | updateGit.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/updateGit.py b/updateGit.py index 4adf28c..2999323 100755 --- a/updateGit.py +++ b/updateGit.py @@ -178,7 +178,8 @@ def main(): return print('Updating', len(repos), 'repositories.') - executor = ThreadPoolExecutor(max_workers=len(repos)) + # executor = ThreadPoolExecutor(max_workers=len(repos)) + executor = ThreadPoolExecutor(max_workers=8) for repo in repos: # updatePath(subdir) executor.submit(updatePath, repo) |