diff options
| author | 2015-07-12 12:16:56 +0200 | |
|---|---|---|
| committer | 2015-07-12 12:16:56 +0200 | |
| commit | fa432755cc9d0cc71be54d463bdfb7558d62c5f1 (patch) | |
| tree | 0e7df2901ae930031663d5fed8eb9a7b993456d9 /lib/lib_rss.php | |
| parent | 1f07bd2cdd4361a36359ae73bdcf0b5ecbea8f0a (diff) | |
Implement cURL options
https://github.com/FreshRSS/FreshRSS/issues/897
Requires that https://github.com/FreshRSS/FreshRSS/pull/898 is merged
first.
Diffstat (limited to 'lib/lib_rss.php')
| -rw-r--r-- | lib/lib_rss.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/lib_rss.php b/lib/lib_rss.php index c51b4e6de..0118e0f46 100644 --- a/lib/lib_rss.php +++ b/lib/lib_rss.php @@ -143,6 +143,7 @@ function customSimplePie() { $simplePie->set_cache_location(CACHE_PATH); $simplePie->set_cache_duration($limits['cache_duration']); $simplePie->set_timeout($limits['timeout']); + $simplePie->set_curl_options($system_conf->curl_options); $simplePie->strip_htmltags(array( 'base', 'blink', 'body', 'doctype', 'embed', 'font', 'form', 'frame', 'frameset', 'html', |
