More spider

diff --git a/lib/core.inc b/lib/core.inc
index d84b694..7c4c25b 100644 (file)
--- a/lib/core.inc
+++ b/lib/core.inc
@@ -164,6 +164,9 @@ function is_spider()
       strpos($_SERVER['HTTP_USER_AGENT'], 'SimilarPages/Nutch-1.0-dev') !== false ||
       strpos($_SERVER['HTTP_USER_AGENT'], 'Cogentbot/1.') !== false ||
       strpos($_SERVER['HTTP_USER_AGENT'], 'CatchBot/1.0') !== false ||
+      strpos($_SERVER['HTTP_USER_AGENT'], 'GingerCrawler/1.0') !== false ||
+      strpos($_SERVER['HTTP_USER_AGENT'], 'yacybot') !== false ||
+      strpos($_SERVER['HTTP_USER_AGENT'], 'Nutch-1.0') !== false ||
       strpos($_SERVER['HTTP_USER_AGENT'], 'Cityreview Robot') !== false) {
     if (isset($_SESSION['uid']))
       $_SESSION['robot'] = true;