projects
/
infodrom.org
/
www.zeitungsliste.de
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
dd04ae7
)
Neuer Spider
author
Joey Schulze
<joey@infodrom.org>
Sat, 9 Apr 2011 20:16:28 +0000
(20:16 +0000)
committer
Joey Schulze
<joey@infodrom.org>
Sat, 9 Apr 2011 20:16:28 +0000
(20:16 +0000)
lib/core.inc
patch
|
blob
|
history
diff --git
a/lib/core.inc
b/lib/core.inc
index
81aea3a
..
2fb83f3
100644
(file)
--- a/
lib/core.inc
+++ b/
lib/core.inc
@@
-190,6
+190,7
@@
function is_spider()
strpos($_SERVER['HTTP_USER_AGENT'], 'Linguee Bot') !== false ||
strpos($_SERVER['HTTP_USER_AGENT'], 'findlinks/2') !== false ||
strpos($_SERVER['HTTP_USER_AGENT'], 'SiteBot/0.1') !== false ||
+ strpos($_SERVER['HTTP_USER_AGENT'], 'Purebot/1.1') !== false ||
strpos($_SERVER['HTTP_USER_AGENT'], 'Cityreview Robot') !== false) {
if (isset($_SESSION['uid']))
$_SESSION['robot'] = true;