fix of #498, #493, #494 - because disappeared in last commit

diff --git a/inc/3rdparty/makefulltextfeed.php b/inc/3rdparty/makefulltextfeed.php
index b024547f7b871dfa1a17bb4288c5346850881a36..135964f18477d4ad9ffe2a0d678f033b6664b4c7 100755 (executable)
--- a/inc/3rdparty/makefulltextfeed.php
+++ b/inc/3rdparty/makefulltextfeed.php
@@ -381,6 +381,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