fix of global $http visibility, issues #493, #494

diff --git a/inc/3rdparty/makefulltextfeed.php b/inc/3rdparty/makefulltextfeed.php
index 2852c4c2a76fbda3e902de30aea99873abb87d2e..313397d2d9e35f0e9c380e1db5379dbf05541785 100755 (executable)
--- a/inc/3rdparty/makefulltextfeed.php
+++ b/inc/3rdparty/makefulltextfeed.php
@@ -415,6 +415,7 @@ if (!$debug_mode) {
 //////////////////////////////////\r
 // Set up HTTP agent\r
 //////////////////////////////////\r
+global $http;\r
 $http = new HumbleHttpAgent();\r
 $http->debug = $debug_mode;\r
 $http->userAgentMap = $options->user_agents;\r