diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-08-11 20:02:33 +0000 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-08-15 13:00:24 +0200 |
| commit | 8437d0cabef29be4bac2fbca3648b5b58aa50371 (patch) | |
| tree | 7497a934107773ba745a63b7ca0ed10f9a9cd234 | |
| parent | 46cb4f780c91d270d69cfc86516c1e8a6cc2ec42 (diff) | |
| download | jenkins.debian.net-8437d0cabef29be4bac2fbca3648b5b58aa50371.tar.xz | |
reproducible: scheduler: also turn the global limit arch-dependant
| -rwxr-xr-x | bin/reproducible_scheduler.py | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/bin/reproducible_scheduler.py b/bin/reproducible_scheduler.py index 9dc75ed8..e9943529 100755 --- a/bin/reproducible_scheduler.py +++ b/bin/reproducible_scheduler.py @@ -79,11 +79,9 @@ LIMITS = { } # define an "arch factor", so the scheduling limits differ between archs -ARCH_SHARE = { - 'amd64': 10, - 'armhf': 3, -} +ARCH_SHARE = {'amd64': 10, 'armhf': 3} +MAXIMUM = {'amd64': 750, 'armhf': 750} class Limit: def __init__(self, arch, queue): @@ -539,7 +537,7 @@ if __name__ == '__main__': for arch in ARCHS: log.info('Scheduling for %s...', arch) overall = int(query_db(query.format(arch))[0][0]) - if overall > 750: + if overall > MAXIMUM[arch]: log.info('%s packages already scheduled, nothing to do.', overall) continue log.info('%s packages already scheduled, scheduling some more...', |