Change mirror priority.

This is now an integer and not a float.

diff --git a/www/webapp/backend/mirrors.py b/www/webapp/backend/mirrors.py
index d5f348fd35befad2d084a459b040ad08f976d39f..ac55b631faabf7559488018ba4886b7801f91397 100644 (file)
--- a/www/webapp/backend/mirrors.py
+++ b/www/webapp/backend/mirrors.py
@@ -150,7 +150,7 @@ class MirrorSet(object):
        def get_random(self):
                mirrors = []
                for mirror in self._mirrors:
-                       for i in range(0, mirror.priority + 1):
+                       for i in range(0, mirror.priority):
                                mirrors.append(mirror)
 
                return random.choice(mirrors)
@@ -449,5 +449,5 @@ class Mirror(object):
 
        @property
        def priority(self):
-               return self._info.get("priority", 1) * 10
+               return self._info.get("priority", 10)