index.php: access news.archlinux32.org via IPv4 - it times out on IPv6

1 files 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) {