New spider

[infodrom.org/www.zeitungsliste.de] / lib / core.inc

diff --git a/lib/core.inc b/lib/core.inc
index ed69a1f..81aea3a 100644 (file)
--- a/lib/core.inc
+++ b/lib/core.inc
@@ -181,6 +181,15 @@ function is_spider()
       strpos($_SERVER['HTTP_USER_AGENT'], 'Wget') !== false ||
       strpos($_SERVER['HTTP_USER_AGENT'], 'Python-urllib') !== false ||
       strpos($_SERVER['HTTP_USER_AGENT'], 'CamontSpider/1.0') !== false ||
+      strpos($_SERVER['HTTP_USER_AGENT'], 'TwengaBot-Discover') !== false ||
+      strpos($_SERVER['HTTP_USER_AGENT'], 'Hailoobot/1.2') !== false ||
+      strpos($_SERVER['HTTP_USER_AGENT'], 'bingbot/2.0') !== false ||
+      strpos($_SERVER['HTTP_USER_AGENT'], 'Exabot/3.0') !== false ||
+      strpos($_SERVER['HTTP_USER_AGENT'], 'spbot/2.1') !== false ||
+      strpos($_SERVER['HTTP_USER_AGENT'], 'Search17Bot/1') !== false ||
+      strpos($_SERVER['HTTP_USER_AGENT'], 'Linguee Bot') !== false ||
+      strpos($_SERVER['HTTP_USER_AGENT'], 'findlinks/2') !== false ||
+      strpos($_SERVER['HTTP_USER_AGENT'], 'SiteBot/0.1') !== false ||
       strpos($_SERVER['HTTP_USER_AGENT'], 'Cityreview Robot') !== false) {
     if (isset($_SESSION['uid']))
       $_SESSION['robot'] = true;
@@ -233,4 +242,4 @@ function format_info_bookmarks()
   return $ret;
 }
 
-?>
\ No newline at end of file
+?>