From 20a69994fd6eac3dc91e7b1a9e978858ee10f80c Mon Sep 17 00:00:00 2001
From: Joey Schulze <joey@infodrom.org>
Date: Tue, 23 Sep 2008 07:37:55 +0000
Subject: [PATCH] New spider: DotBot

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

diff --git a/lib/core.inc b/lib/core.inc
index f2c6646..bb5141b 100644
--- a/lib/core.inc
+++ b/lib/core.inc
@@ -149,6 +149,7 @@ function is_spider()
       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'], 'Cityreview Robot') !== false) {
     if (isset($_SESSION['uid']))
       $_SESSION['robot'] = true;
-- 
2.20.1