Switch SourceForge mirror to HTTPS

diff --git a/common/download.inc b/common/download.inc
index ff93d41ab4ddecfc85bbf9306b5b891dcdb5a3ad..46c56e94393e3174d866b43c939796ae12ed8eb8 100644 (file)
--- 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 e81644de7a5bac7a81283a69bdeaec1abd5e36c5..7dacd0b428f6d7f96066e1f4c071ea861be5a206 100644 (file)
--- 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 7e0bd5d553424829ffef941a066560251673b433..ee9ad9196a8a3baa9aba546ed11a57acf9e789fd 100644 (file)
--- 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