Another spider

diff --git a/lib/core.inc b/lib/core.inc
index c7dbbf2..73c2a72 100644 (file)
--- a/lib/core.inc
+++ b/lib/core.inc
@@ -146,6 +146,7 @@ function is_spider()
       strpos($_SERVER['HTTP_USER_AGENT'], 'ScoutJet') !== false ||
       strpos($_SERVER['HTTP_USER_AGENT'], 'penthesilea/0.3') !== false ||
       strpos($_SERVER['HTTP_USER_AGENT'], 'VisBot/2.0') !== false ||
       strpos($_SERVER['HTTP_USER_AGENT'], 'ScoutJet') !== false ||
       strpos($_SERVER['HTTP_USER_AGENT'], 'penthesilea/0.3') !== false ||
       strpos($_SERVER['HTTP_USER_AGENT'], 'VisBot/2.0') !== false ||

+      strpos($_SERVER['HTTP_USER_AGENT'], 'Netluchs/Nutch-1.0') !== false ||

       strpos($_SERVER['HTTP_USER_AGENT'], 'Cityreview Robot') !== false) {
     if (isset($_SESSION['uid']))
       $_SESSION['robot'] = true;
       strpos($_SERVER['HTTP_USER_AGENT'], 'Cityreview Robot') !== false) {
     if (isset($_SESSION['uid']))
       $_SESSION['robot'] = true;