From: Joey Schulze <joey@infodrom.org>
Date: Sat, 27 Sep 2008 07:25:02 +0000 (+0000)
Subject: Another spider: MJ12bot/v1.2.3; http://www.majestic12.co.uk/bot.php?+
X-Git-Url: https://git.infodrom.org/?p=infodrom.org%2Fwww.zeitungsliste.de;a=commitdiff_plain;h=0052d4cd23ce6d70dc4d5909c462acb696c4ed6a;hp=6a8f4aa53146c5f7952659168c296bf0504b5d28

Another spider: MJ12bot/v1.2.3; majestic12.co.uk/bot.php?+
---

diff --git a/lib/core.inc b/lib/core.inc
index b6fa783..773642d 100644
--- a/lib/core.inc
+++ b/lib/core.inc
@@ -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;