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

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

diff --git a/lib/core.inc b/lib/core.inc
index 2daa390..773642d 100644 (file)
--- a/lib/core.inc
+++ b/lib/core.inc
@@ -145,6 +145,13 @@ function is_spider()
       strpos($_SERVER['HTTP_USER_AGENT'], 'Twiceler-0.9') !== 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'], 'Yanga WorldSearch Bot') !== false ||
+      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;
@@ -156,6 +163,17 @@ function is_spider()
   return false;
 }
 
+function is_admin()
+{
+  global $_SESSION;
+
+  if (!array_key_exists('nickname', $_SESSION))
+    return false;
+
+  error_log( $_SESSION['nickname'] === 'Joey');
+  return $_SESSION['nickname'] === 'Joey';
+}
+
 function format_info_bookmarks()
 {
   global $_SESSION;