From fb8714eecbb6dc8be9be767ccde94156dde214f0 Mon Sep 17 00:00:00 2001
From: Joey Schulze <joey@infodrom.org>
Date: Wed, 25 Jun 2008 16:46:36 +0000
Subject: [PATCH] Untypo

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

diff --git a/lib/core.inc b/lib/core.inc
index 0b157b9..2e3ef2e 100644
--- a/lib/core.inc
+++ b/lib/core.inc
@@ -141,7 +141,7 @@ function is_spider()
       strpos($_SERVER['HTTP_USER_AGENT'], 'holmes/3.12') !== false ||
       strpos($_SERVER['HTTP_USER_AGENT'], 'NoteworthyBot/0.1') !== false ||
       strpos($_SERVER['HTTP_USER_AGENT'], 'Eurosoft-Bot') !== false ||
-      strpos($_SERVER['HTTP_USER_AGENT'], 'msnbot') !== false) {
+      strpos($_SERVER['HTTP_USER_AGENT'], 'msnbot') !== false ||
       strpos($_SERVER['HTTP_USER_AGENT'], 'Cityreview Robot') !== false) {
     if (isset($_SESSION['uid']))
       $_SESSION['robot'] = true;
-- 
2.20.1