strpos($_SERVER['HTTP_USER_AGENT'], 'bingbot/2.0') !== false ||
strpos($_SERVER['HTTP_USER_AGENT'], 'Exabot/3.0') !== false ||
strpos($_SERVER['HTTP_USER_AGENT'], 'spbot/2.1') !== false ||
+ strpos($_SERVER['HTTP_USER_AGENT'], 'Search17Bot/1') !== false ||
+ strpos($_SERVER['HTTP_USER_AGENT'], 'Linguee Bot') !== false ||
+ strpos($_SERVER['HTTP_USER_AGENT'], 'findlinks/2') !== false ||
strpos($_SERVER['HTTP_USER_AGENT'], 'Cityreview Robot') !== false) {
if (isset($_SESSION['uid']))
$_SESSION['robot'] = true;
return $ret;
}
-?>
\ No newline at end of file
+?>