Adesso in locale la funzione funziona ma sul sito non riesco a intercettare i motori di ricerca
Adesso la nuova funzione �:
function write_log()
{
if (!(isset($_SESSION['xxxxx']))||($_SESSION['xxxxx']!=="pippo") || (preg_match('/bot|bingbot|bing|robot|crawl|slurp|spider|yahoo|se arch/i', $_SERVER['HTTP_USER_AGENT'])==0))
{return true;}else{return false;}
}

if(write_log()===true)
{
require_once("log.php");
}