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 b024547f..135964f1 100755 --- a/inc/3rdparty/makefulltextfeed.php +++ b/inc/3rdparty/makefulltextfeed.php | |||
@@ -381,6 +381,7 @@ if (!$debug_mode) { | |||
381 | ////////////////////////////////// | 381 | ////////////////////////////////// |
382 | // Set up HTTP agent | 382 | // Set up HTTP agent |
383 | ////////////////////////////////// | 383 | ////////////////////////////////// |
384 | global $http; | ||
384 | $http = new HumbleHttpAgent(); | 385 | $http = new HumbleHttpAgent(); |
385 | $http->debug = $debug_mode; | 386 | $http->debug = $debug_mode; |
386 | $http->userAgentMap = $options->user_agents; | 387 | $http->userAgentMap = $options->user_agents; |