aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rwxr-xr-xinc/3rdparty/makefulltextfeed.php1
1 files changed, 1 insertions, 0 deletions
diff --git a/inc/3rdparty/makefulltextfeed.php b/inc/3rdparty/makefulltextfeed.php
index 2852c4c2..313397d2 100755
--- a/inc/3rdparty/makefulltextfeed.php
+++ b/inc/3rdparty/makefulltextfeed.php
@@ -415,6 +415,7 @@ if (!$debug_mode) {
415////////////////////////////////// 415//////////////////////////////////
416// Set up HTTP agent 416// Set up HTTP agent
417////////////////////////////////// 417//////////////////////////////////
418global $http;
418$http = new HumbleHttpAgent(); 419$http = new HumbleHttpAgent();
419$http->debug = $debug_mode; 420$http->debug = $debug_mode;
420$http->userAgentMap = $options->user_agents; 421$http->userAgentMap = $options->user_agents;