strpos($_SERVER['HTTP_USER_AGENT'], 'SapphireWebCrawler/Nutch') !== false ||
strpos($_SERVER['HTTP_USER_AGENT'], 'kalooga/KaloogaBot') !== false ||
strpos($_SERVER['HTTP_USER_AGENT'], 'SimilarPages/Nutch-1.0-dev') !== false ||
+ strpos($_SERVER['HTTP_USER_AGENT'], 'Cogentbot/1.') !== false ||
+ strpos($_SERVER['HTTP_USER_AGENT'], 'CatchBot/1.0') !== false ||
strpos($_SERVER['HTTP_USER_AGENT'], 'Cityreview Robot') !== false) {
if (isset($_SESSION['uid']))
$_SESSION['robot'] = true;