From 9976c196d386396aad9dd9416124e286df25be41 Mon Sep 17 00:00:00 2001
From: Alexander Barton <alex@barton.de>
Date: Sat, 9 Feb 2019 14:23:39 +0100
Subject: [PATCH] Switch SourceForge mirror to HTTPS

---
 common/download.inc | 2 +-
 includes/common.php | 2 +-
 mirrors.php         | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/common/download.inc b/common/download.inc
index ff93d41..46c56e9 100644
--- a/common/download.inc
+++ b/common/download.inc
@@ -3,5 +3,5 @@
 		<strong>ngIRCd Release 25</strong> (2019-01-23):
 	</dt>
 	<?php download_links("25", "ngircd.barton.de"); ?>
-	<?php download_links("25", "ngircd.sourceforge.net", "http"); ?>
+	<?php download_links("25", "ngircd.sourceforge.io"); ?>
 </dl>
diff --git a/includes/common.php b/includes/common.php
index e81644d..7dacd0b 100644
--- a/includes/common.php
+++ b/includes/common.php
@@ -70,7 +70,7 @@ function end_page() {
 
 function download_links($rel, $server, $protocol = "https") {
 	echo "<dd>";
-	echo "Server: <em>$server</em>:";
+	echo "Server: <em>$server</em> ";
 	/* Download folder */
 	echo "(<a href=\"$protocol://$server/pub/ngircd/\">$protocol</a>";
 	if ($protocol == "https")
diff --git a/mirrors.php b/mirrors.php
index 7e0bd5d..ee9ad91 100644
--- a/mirrors.php
+++ b/mirrors.php
@@ -9,7 +9,7 @@
 	<li><a href="https://ngircd.barton.de/">ngircd.barton.de</a>&thinsp;🔒
 </ul>
 <ul>
-	<li><a href="http://ngircd.sourceforge.net/">ngircd.sourceforge.net</a>
+	<li><a href="https://ngircd.sourceforge.io/">ngircd.sourceforge.io</a>&thinsp;🔒
 </ul>
 
 <?php
-- 
2.39.2