From 55cabb0d30c7e1b59183a1d7145edc800fca16ab Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Mon, 11 Feb 2019 15:50:26 +0100
Subject: index.php: access news.archlinux32.org via IPv4 - it times out on
 IPv6

---
 index.php | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/index.php b/index.php
index d550258..3454e50 100644
--- a/index.php
+++ b/index.php
@@ -70,9 +70,13 @@ print_header("", "home");
             <a href="https://news.archlinux32.org/rss.php" title="Arch 32 News RSS Feed" class="rss-icon"><img width="16" height="16" src="/static/rss.c5ebdc5318d6.png" alt="RSS Feed" /></a>
 <?php
 
-$news = simplexml_load_string(
-  file_get_contents("https://news.archlinux32.org/rss.php")
-);
+$ch = curl_init("https://news.archlinux32.org/rss.php");
+curl_setopt($ch, CURLOPT_IPRESOLVE, CURL_IPRESOLVE_V4);
+curl_setopt($ch, CURLOPT_RETURNTRANSFER, 1);
+$news = curl_exec($ch);
+curl_close($ch);
+
+$news = simplexml_load_string($news);
 
 if ($news === false) {
 
-- 
cgit v1.2.3