index : archweb32 | |
Archlinux32 website | gitolite user |
summaryrefslogtreecommitdiff |
author | Andreas Baumann <mail@andreasbaumann.cc> | 2025-03-28 08:12:43 +0100 |
---|---|---|
committer | Andreas Baumann <mail@andreasbaumann.cc> | 2025-03-28 08:12:43 +0100 |
commit | d72e16c5c07bd064a72e080b5e63cf267bc1bbe6 (patch) | |
tree | c16f5f11f34b33adb6a9404bb1b655024679e7ce | |
parent | f447d82d4cb11904ab66fa2900898456ed466ea6 (diff) |
-rw-r--r-- | mirrorlist.php | 6 |
diff --git a/mirrorlist.php b/mirrorlist.php index d4ba6ea..7549b01 100644 --- a/mirrorlist.php +++ b/mirrorlist.php @@ -109,6 +109,12 @@ if ( count($_GET) > 1 ) { print "## " . $mirror['country'] . "\n"; $last_country = $mirror['country']; } + # I'm sure this can be done differently.. + if( $mirror["url"] == "http://archlinux32.agoctrl.org/" || + $mirror["url"] == "https://archlinux32.agoctrl.org/" || + $mirror["url"] == "https://mirror.qctronics.com/arch32/" ) { + continue; + } print "#Server = " . $mirror['url'] . '$arch/$repo' . "\n"; } |