diff options
author | Rémy Oudompheng <oudomphe@math.unice.fr> | 2010-12-04 18:37:17 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2010-12-05 14:50:24 +0100 |
commit | bff3dabaf45abbc7d6bed1b3ec1c717ae678c8b4 (patch) | |
tree | dd44dd8908ac51941f5c39b9d167c90d6ddbba50 /cron-jobs/check_archlinux | |
parent | d0222cb73c50fd23abd572e080b5b5231cb6d23b (diff) |
Only emit a warning when a repository does not exist.
Signed-off-by: Pierre Schmitz <pierre@archlinux.de>
Diffstat (limited to 'cron-jobs/check_archlinux')
-rwxr-xr-x | cron-jobs/check_archlinux/check_packages.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cron-jobs/check_archlinux/check_packages.py b/cron-jobs/check_archlinux/check_packages.py index 86494b7..bdbbeed 100755 --- a/cron-jobs/check_archlinux/check_packages.py +++ b/cron-jobs/check_archlinux/check_packages.py @@ -403,8 +403,8 @@ for absroot in absroots: for repo in repos: repopath = absroot + "/" + repo if not os.path.isdir(repopath): - print "Error : the repository " + repo + " does not exist in " + absroot - sys.exit() + print("Warning : the repository " + repo + " does not exist in " + absroot) + if not os.path.isdir(repodir): print "Error: the repository directory %s does not exist" % repodir sys.exit() |