summaryrefslogtreecommitdiffstats
path: root/check.php
diff options
context:
space:
mode:
authorRemi Collet <fedora@famillecollet.com>2016-10-11 06:50:18 +0200
committerRemi Collet <fedora@famillecollet.com>2016-10-11 06:50:18 +0200
commit1fdc411f7aa5e771a94b748c6e5e0bc997363769 (patch)
treebff4ac547e24a6e63653811699ad2fc124110c31 /check.php
parentb1159fb409a3963eef0c2e06a0f4c3a4f78824e6 (diff)
add http://mirror.bebout.net/remi/ as official mirror
Diffstat (limited to 'check.php')
-rw-r--r--check.php4
1 files changed, 3 insertions, 1 deletions
diff --git a/check.php b/check.php
index 94f92e0..a5cd20c 100644
--- a/check.php
+++ b/check.php
@@ -133,7 +133,7 @@ if (!$cli) {
$pids = array();
$ref = getRepoTime($full);
if ($ref) {
- printf(($cli ? "Check of %s (%s)\n" : "<h3>%s - %s</h3>\n"), $name, date('r', $ref));
+ printf(($cli ? "Check %d mirrors of %s (%s)\n" : "<h3>%s - %s</h3>\n"), count($mirrors), $name, date('r', $ref));
if (!$cli) echo "<ul class='pkglist'>\n";
foreach ($mirrors as $mirror) {
if ($cli) {
@@ -169,6 +169,7 @@ if ($ref) {
}
}
if ($cli) {
+ $nb=count($pids);
while (count($pids)) {
printf("Wait %d\r", count($pids));
$pid = pcntl_wait($status);
@@ -179,6 +180,7 @@ if ($ref) {
unset($pids[$pid]);
}
}
+ if ($nb) printf("%d mirrors checked.\n", $nb);
} else {
echo "</ul>\n";
}