From be3787f2d142f40604e9daf46b6235441b455d10 Mon Sep 17 00:00:00 2001
From: Cole Robinson <crobinso@redhat.com>
Date: Thu, 20 Nov 2014 16:18:13 -0500
Subject: [PATCH] urlfetcher: Detect RHEL ARM distro from treeinfo

---
 virtinst/urlfetcher.py | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/virtinst/urlfetcher.py b/virtinst/urlfetcher.py
index 93cc54593..5a8a98dc3 100644
--- a/virtinst/urlfetcher.py
+++ b/virtinst/urlfetcher.py
@@ -748,10 +748,19 @@ class RHELDistro(RedHatDistro):
 
     def _variantFromVersion(self):
         ver = self.treeinfo.get("general", "version")
+        name = None
+        if self.treeinfo.has_option("general", "name"):
+            name = self.treeinfo.get("general", "name")
         if not ver:
             return
 
-        version, update = self._parseTreeinfoVersion(ver)
+        if name and name.startswith("Red Hat Enterprise Linux Server for ARM"):
+            # Kind of a hack, but good enough for the time being
+            version = 7
+            update = 0
+        else:
+            version, update = self._parseTreeinfoVersion(ver)
+
         self._version_number = version
         self._setRHELVariant(version, update)