diff options
author | Remi Collet <fedora@famillecollet.com> | 2016-02-16 07:43:03 +0100 |
---|---|---|
committer | Remi Collet <fedora@famillecollet.com> | 2016-02-16 07:43:03 +0100 |
commit | 36da8cdbfaa19534da4fef7ac6010045ab958875 (patch) | |
tree | b02784acaa4fb74d0be7291055d12705ec6f4beb /check.php | |
parent | a814ee1fb997e838b994b0c25cc4899ae5af3c6e (diff) |
mirrors: drop gymkl.ch and temp. disable layerjet.com
Diffstat (limited to 'check.php')
-rw-r--r-- | check.php | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -67,10 +67,11 @@ $mirrors = array( 'http://fr2.rpmfind.net/linux/remi/', 'http://mirror.awanti.com/remi/', 'http://mirrors.netix.net/remi/', - #'http://mirror.h1host.ru/remi/', + 'http://mirror.h1host.ru/remi/', 'http://remi.mirrors.cu.be/', 'http://mirror.innosol.asia/remi/', 'http://mirror.neolabs.kz/remi/', + 'http://mirror.lablus.com/remi/', ); $deprecated = array( 'http://remi.mirror.net.in/', @@ -83,7 +84,7 @@ $deprecated = array( 'http://mirror.pw/remi/', ); function getRepoTime($uri) { - $xml = simplexml_load_file($uri.'/repodata/repomd.xml'); + $xml = @simplexml_load_file($uri.'/repodata/repomd.xml'); if ($xml && $xml->revision) { return intval($xml->revision); } @@ -158,7 +159,7 @@ if ($ref) { } if ($cli) { while (count($pids)) { - //printf("Wait %d\r", count($pids)); + printf("Wait %d\r", count($pids)); $pid = pcntl_wait($status); if ($pid<0) { die("Cound not wait\n"); |