Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2019-06-06 16:28:10 +0200
committerErich Eckner <git@eckner.net>2019-06-06 16:28:10 +0200
commit2d002eb2628a179430eb9524485df83478c4ccfa (patch)
treef98fbec2b241a4a87867aae4481109f2d9299037
parentdf3209e099e7d781e60a574a263a9f8e33f10ad8 (diff)
pool.php: ignore not-up-to-date mirrors
-rw-r--r--pool.php1
1 files changed, 1 insertions, 0 deletions
diff --git a/pool.php b/pool.php
index 19c0b87..05cece3 100644
--- a/pool.php
+++ b/pool.php
@@ -15,6 +15,7 @@ else
$result = mysql_run_query(
'SELECT `mirror_statuses`.`url` FROM `mirror_statuses`' .
' WHERE `mirror_statuses`.`active`' .
+ ' AND `mirror_statuses`.`last_sync` > UNIX_TIMESTAMP(NOW())-' . $cutoff .
' AND `mirror_statuses`.`start` > UNIX_TIMESTAMP(NOW())-' . $cutoff .
' AND `mirror_statuses`.`protocol` = "' . $protocol . '"' .
' GROUP BY `mirror_statuses`.`url`' .