Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/index.php
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2019-06-06 13:26:42 +0200
committerErich Eckner <git@eckner.net>2019-06-06 13:26:42 +0200
commitac15e6b8340039ae68d86f02ca1cd2d68dcf42d0 (patch)
tree2e327bc090d4ca565ebb6b775013c968a89c6c4d /index.php
parent988651fbcad1cf6c70d845eb1546ded3b714a52c (diff)
index.php: do not check certificate of new.archlinux32.org
Diffstat (limited to 'index.php')
-rw-r--r--index.php1
1 files changed, 1 insertions, 0 deletions
diff --git a/index.php b/index.php
index be3c6c9..2a3e937 100644
--- a/index.php
+++ b/index.php
@@ -75,6 +75,7 @@ print_header("", "home");
$ch = curl_init("https://news.archlinux32.org/rss.php");
curl_setopt($ch, CURLOPT_IPRESOLVE, CURL_IPRESOLVE_V4);
curl_setopt($ch, CURLOPT_RETURNTRANSFER, 1);
+curl_setopt($ch, CURLOPT_SSL_VERIFYPEER, 0);
$news32 = curl_exec($ch);
curl_close($ch);
$news32 = simplexml_load_string($news32);