diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-26 15:24:58 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-26 15:24:58 (GMT) |
commit | 67d36d7eed2bf07063ba9cc7b3720f1efa4560ce (patch) | |
tree | 2d06ee2ad2f1d916e5121d21b219cc163b490deb /devbot | |
parent | 1309bbe0117b68f795f14f284a8293e3986fe02b (diff) |
Update debian version
Diffstat (limited to 'devbot')
-rw-r--r-- | devbot/plugins/debian.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/devbot/plugins/debian.py b/devbot/plugins/debian.py index 26cb08c..7b6e1c4 100644 --- a/devbot/plugins/debian.py +++ b/devbot/plugins/debian.py @@ -106,15 +106,15 @@ class DistroInfo(interfaces.DistroInfo): try: with open(self._DEBIAN_VERSION_PATH) as f: - debian_version = f.read() + debian_version = f.read().strip() except IOError: debian_version = None if debian_version is None: self.valid = False - if debian_version and debian_version.startswith("wheezy"): - self.version = "wheezy" + if debian_version and debian_version == "7.0": + self.version = "7.0" else: self.supported = False |