diff options
author | Mattia Rizzolo <mattia@mapreri.org> | 2015-02-28 16:27:15 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-02-28 17:30:05 +0100 |
commit | c8e63af710da441078fa1c9855ac8063ff9a64d0 (patch) | |
tree | 4083c4aca99dd84f5e20dad83cf5448167ae7373 | |
parent | 8ae9e1c028db5d5ad69c87c9c63c47a1b0a28b01 (diff) | |
download | jenkins.debian.net-c8e63af710da441078fa1c9855ac8063ff9a64d0.tar.xz |
reproducible: scheduler: cast an int to str to fix a TypeError
-rwxr-xr-x | bin/reproducible_scheduler.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/bin/reproducible_scheduler.py b/bin/reproducible_scheduler.py index 8f4259d7..6a772ae2 100755 --- a/bin/reproducible_scheduler.py +++ b/bin/reproducible_scheduler.py @@ -31,9 +31,11 @@ def call_apt_update(suite): 'apt-get', 'update']): return else: - log.warning('`apt-get update` failed. Retrying another ' + 3-i + ' times.') + log.warning('`apt-get update` failed. Retrying another ' + str(3-i) + + ' times.') sleep(randint(1, 70) + 30) - print_critical_message('`apt-get update` for suite '+suite+' failed three times in a row, giving up.') + print_critical_message('`apt-get update` for suite ' + suite + + ' failed three times in a row, giving up.') sys.exit(1) |