diff options
| -rw-r--r-- | lib/Downloads.php | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/lib/Downloads.php b/lib/Downloads.php index 69fb49c99..b357e4612 100644 --- a/lib/Downloads.php +++ b/lib/Downloads.php @@ -133,12 +133,15 @@ class Downloads function get_mirror($country) { $mirs = self::get_all_mirrors(); - if (array_key_exists($country, $mirs)) { - $mirs = $mirs[$country]; - shuffle($mirs); - return array_shift($mirs); + $mirs_tmp = $mirs[$country]; + if ($country == 'FR') + { + $mirs_tmp = array_merge($mirs_tmp, $mirs['DE']); + } + shuffle($mirs_tmp); + return array_shift($mirs_tmp); } else { |