diff options
author | Remi Collet <remi@remirepo.net> | 2020-09-03 13:30:48 +0200 |
---|---|---|
committer | Remi Collet <remi@remirepo.net> | 2020-09-03 13:30:48 +0200 |
commit | 5b76a6b78b1973cc248220eb4f6b73447ce3a885 (patch) | |
tree | 7d18cc694436e513fe66cce747da983a02859bf6 | |
parent | 5356821cd447c365f85f945bdd70edcdfe284f77 (diff) |
minor
-rwxr-xr-x | check.php | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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) { |