optimise mirror db cache size (half in size)

+ with added benefit of cleaner git diff
+ verbosity improvements of mirror db cache generate tool

1 files changed, 2 insertions, 4 deletions

diff --git a/en/downloads/get/index.php b/en/downloads/get/index.php
index 4e673d789..b121e3407 100644
--- a/en/downloads/get/index.php
+++ b/en/downloads/get/index.php
@@ -99,11 +99,9 @@ try {
 
     // Step 3. Build alternative mirrors list of links (URL manipulation, HTML)
     $g_mirs2 = array();
-    foreach ($alt_mirrors as $country => $mirs):
-        if (substr($country, 0, 3) == '_C:')
-            continue;
-
+    foreach ($alt_mirrors as $mirs):
         foreach ($mirs as $mir):
+            $country = $mir['country'];
             if (!array_key_exists($country, $countries)) {
                 $countries[$country] = "country: $country";
             }