summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorRemi Collet <remi@remirepo.net>2020-09-03 13:30:48 +0200
committerRemi Collet <remi@remirepo.net>2020-09-03 13:30:48 +0200
commit5b76a6b78b1973cc248220eb4f6b73447ce3a885 (patch)
tree7d18cc694436e513fe66cce747da983a02859bf6
parent5356821cd447c365f85f945bdd70edcdfe284f77 (diff)
minor
-rwxr-xr-xcheck.php3
1 files changed, 3 insertions, 0 deletions
diff --git a/check.php b/check.php
index d9efd93b..68a98ab6 100755
--- a/check.php
+++ b/check.php
@@ -183,6 +183,9 @@ if ($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 ($_SERVER['argc']>1 && !strpos($mirror, $_SERVER['argv'][1])) {
+ continue;
+ }
if ($cli) {
$pid = pcntl_fork();
if ($pid<0) {