From 8dc1960009f905fcff77d9d44e696c2b65332d5d Mon Sep 17 00:00:00 2001
From: Joey Schulze <joey@infodrom.org>
Date: Fri, 29 Nov 2013 09:20:55 +0000
Subject: [PATCH] Add more bots

---
 lib/core.inc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/lib/core.inc b/lib/core.inc
index f8c9b9c..05680a5 100644
--- a/lib/core.inc
+++ b/lib/core.inc
@@ -206,6 +206,9 @@ function is_spider()
       strpos($_SERVER['HTTP_USER_AGENT'], 'SeznamBot') !== false ||
       strpos($_SERVER['HTTP_USER_AGENT'], 'CareerBot/1') !== false ||
       strpos($_SERVER['HTTP_USER_AGENT'], 'SiteExplorer/1') !== false ||
+      strpos($_SERVER['HTTP_USER_AGENT'], 'discoverybot/2.0') !== false ||
+      strpos($_SERVER['HTTP_USER_AGENT'], 'SemrushBot/') !== false ||
+      strpos($_SERVER['HTTP_USER_AGENT'], 'archive.org_bot') !== false ||
       strpos($_SERVER['HTTP_USER_AGENT'], 'Cityreview Robot') !== false) {
     if (isset($_SESSION['uid']))
       $_SESSION['robot'] = true;
-- 
2.20.1