diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-29 01:02:36 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-29 01:02:36 (GMT) |
commit | 15ed939a01a0914ca194546049cb00775c817778 (patch) | |
tree | c8f5d3b333da0ffdc8f933c8360ea3f9f0cb6b05 /devbot | |
parent | 45668b15dc58fa524b4f0018669d5420c3857051 (diff) |
Don't die when debian_version doesn't exit
Diffstat (limited to 'devbot')
-rw-r--r-- | devbot/plugins/debian.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devbot/plugins/debian.py b/devbot/plugins/debian.py index 402222f..8ba62b0 100644 --- a/devbot/plugins/debian.py +++ b/devbot/plugins/debian.py @@ -103,7 +103,7 @@ class DistroInfo(interfaces.DistroInfo): if debian_version is None: self.valid = False - if debian_version.startswith("wheezy"): + if debian_version and debian_version.startswith("wheezy"): self.version = "wheezy" else: self.supported = False |