diff options
author | Andrew Dolgov <[email protected]> | 2014-08-20 12:01:41 +0400 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2014-08-20 12:01:41 +0400 |
commit | fafac207c5a7bb610c4a2ce473cc677eeca92e4e (patch) | |
tree | 5d767885d26029397d123ee820cf577fb9f308f0 /include/functions.php | |
parent | aa9f7d444729c3136e0549518eebf0c4c108d818 (diff) |
geturl: if head request is denied because host is still living in 20th century, try requesting body (thanks to incompetent admins of arxiv.org)
Diffstat (limited to 'include/functions.php')
-rw-r--r-- | include/functions.php | 2 |
1 files changed, 1 insertions, 1 deletions
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 |