[php] Robot-Erkennung

[Cyrill Schumacher]

> $HTTP_USER_AGENT ermitteln kann, ob es sich um einen Robot oder einen

if( preg_match("/^mozilla/i",getenv("HTTP_USER_AGENT"))==false ){

    robot seite
    exit;
}

kiri