diff options
author | Mattia Rizzolo <mattia@mapreri.org> | 2015-08-19 19:03:50 +0000 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-08-19 23:17:53 +0200 |
commit | b270ab452a63fb798dbf2f9b30800593949d82b9 (patch) | |
tree | c953c790844bb4ae577b72d4c7c3630f2ed5c722 | |
parent | 08f2bde8977792307f3d0bdba16e242b48e87ae4 (diff) | |
download | jenkins.debian.net-b270ab452a63fb798dbf2f9b30800593949d82b9.tar.xz |
reproducible: remote_scheduler: do not ball users out when they schedule an inexistent package, just print the error
-rwxr-xr-x | bin/reproducible_remote_scheduler.py | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/bin/reproducible_remote_scheduler.py b/bin/reproducible_remote_scheduler.py index fc16508e..d2de98ba 100755 --- a/bin/reproducible_remote_scheduler.py +++ b/bin/reproducible_remote_scheduler.py @@ -182,9 +182,8 @@ for pkg in packages: ids.append(result[0][0]) pkgs.append(pkg) except IndexError: - log.critical('The package %s is not available in %s/%s', - pkg, suite, arch) - sys.exit(1) + log.error('%sThe package %s is not available in %s/%s%s', + bcolors.FAIL, pkg, suite, arch, bcolors.ENDC) blablabla = '✂…' if len(' '.join(pkgs)) > 257 else '' packages_txt = ' packages ' if len(pkgs) > 1 else ' package ' |