From fafac207c5a7bb610c4a2ce473cc677eeca92e4e Mon Sep 17 00:00:00 2001 From: Andrew Dolgov Date: Wed, 20 Aug 2014 12:01:41 +0400 Subject: geturl: if head request is denied because host is still living in 20th century, try requesting body (thanks to incompetent admins of arxiv.org) --- include/functions.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'include/functions.php') diff --git a/include/functions.php b/include/functions.php index c595944e1..ac8fb6302 100644 --- a/include/functions.php +++ b/include/functions.php @@ -360,7 +360,7 @@ $fetch_curl_used = true; - if (ini_get("safe_mode") || ini_get("open_basedir")) { + if (ini_get("safe_mode") || ini_get("open_basedir") || defined("FORCE_GETURL")) { $new_url = geturl($url); if (!$new_url) { // geturl has already populated $fetch_last_error -- cgit v1.2.3-54-g00ecf