From 41559b55aba533c189b4aea99cbc97e13a3dd28e Mon Sep 17 00:00:00 2001
From: Remi Collet <remi@remirepo.net>
Date: Thu, 20 Jul 2023 17:02:22 +0200
Subject: allow to check selected servers

---
 check.php | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

(limited to 'check.php')

diff --git a/check.php b/check.php
index cc898107..a524d40c 100755
--- a/check.php
+++ b/check.php
@@ -193,9 +193,19 @@ if (!$cli) {
 $pids = array();
 $ref = getRepoTime($full);
 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 (isset($_SERVER['argv'][1])) {
+		$tocheck = [];
+		foreach ($mirrors as $mirror) {
+			if (preg_match('|'.$_SERVER['argv'][1].'|', $mirror)) {
+				$tocheck[] = $mirror;
+			}
+		}
+	} else {
+		$tocheck = $mirrors;
+	}
+	printf(($cli ? "Check %d mirror(s) of %s (%s)\n" : "<h3>%s - %s</h3>\n"), count($tocheck), $name, date('r', $ref));
+	foreach ($tocheck as $mirror) {
 		if ($_SERVER['argc']>1 && !strpos($mirror, $_SERVER['argv'][1])) {
 			continue;
 		}
-- 
cgit