diff options
-rwxr-xr-x | inc/3rdparty/makefulltextfeed.php | 1 |
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 | ////////////////////////////////// |
418 | global $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; |