Another spider: MJ12bot/v1.2.3; http://www.majestic12.co.uk/bot.php?+
[infodrom.org/www.zeitungsliste.de] / lib / core.inc
index b6fa783..773642d 100644 (file)
@@ -151,6 +151,7 @@ function is_spider()
       strpos($_SERVER['HTTP_USER_AGENT'], 'Semager') !== false ||
       strpos($_SERVER['HTTP_USER_AGENT'], 'DotBot') !== false ||
       strpos($_SERVER['HTTP_USER_AGENT'], 'Baiduspider') !== false ||
+      strpos($_SERVER['HTTP_USER_AGENT'], 'MJ12bot/') !== false ||
       strpos($_SERVER['HTTP_USER_AGENT'], 'Cityreview Robot') !== false) {
     if (isset($_SESSION['uid']))
       $_SESSION['robot'] = true;