summaryrefslogtreecommitdiffstats
path: root/check.php
diff options
context:
space:
mode:
authorRemi Collet <fedora@famillecollet.com>2016-02-16 07:43:03 +0100
committerRemi Collet <fedora@famillecollet.com>2016-02-16 07:43:03 +0100
commit36da8cdbfaa19534da4fef7ac6010045ab958875 (patch)
treeb02784acaa4fb74d0be7291055d12705ec6f4beb /check.php
parenta814ee1fb997e838b994b0c25cc4899ae5af3c6e (diff)
mirrors: drop gymkl.ch and temp. disable layerjet.com
Diffstat (limited to 'check.php')
-rw-r--r--check.php7
1 files changed, 4 insertions, 3 deletions
diff --git a/check.php b/check.php
index 676a182..90692ac 100644
--- a/check.php
+++ b/check.php
@@ -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");