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:
5cd95b2
)
Another spider
author
Joey Schulze
<joey@infodrom.org>
Mon, 30 Jun 2008 06:17:32 +0000
(06:17 +0000)
committer
Joey Schulze
<joey@infodrom.org>
Mon, 30 Jun 2008 06:17:32 +0000
(06:17 +0000)
lib/core.inc
patch
|
blob
|
history
diff --git
a/lib/core.inc
b/lib/core.inc
index
00645a6
..
021ec81
100644
(file)
--- a/
lib/core.inc
+++ b/
lib/core.inc
@@
-144,6
+144,7
@@
function is_spider()
strpos($_SERVER['HTTP_USER_AGENT'], 'msnbot') !== false ||
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'], 'Cityreview Robot') !== false) {
if (isset($_SESSION['uid']))
$_SESSION['robot'] = true;