From 5b76a6b78b1973cc248220eb4f6b73447ce3a885 Mon Sep 17 00:00:00 2001
From: Remi Collet <remi@remirepo.net>
Date: Thu, 3 Sep 2020 13:30:48 +0200
Subject: minor

---
 check.php | 3 +++
 1 file changed, 3 insertions(+)

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) {
-- 
cgit