[php] redirect spiders und robots

[=?iso-8859-1?Q?Christoph_M._Sch=F6nian?=]

Hi,
Ich habe mir einst dieses schöne Script gezogen und
bin jetzt in der Lage es wirklich einmal zu gebrauchen.
Allerdings frage ich mich, ob dieses Script auch die
deutschen Major-Spider abdeckt ...???
Kann mir da jemand mit Erfahrungen und/oder Ergänzungen
weiterhelfen?

Danke Christoph

<?

// Quick script to 'redirect' spiders/robots to
// 'search engine friendly' page.
// By Dan Zambonini [dan_(at)_boxuk.com], Sep 2000. V 1.0
// Please send alterations/comments to dan_(at)_boxuk.com
// Modified from someone else's script, can't remember
// which one...Sorry!
// Major search engines match either $spider_footprint
// or $spider_ip.

$spider_footprint = array( "rawler",  "pider",  "obot",
                           "eek",  "canner",  "lurp",
                           "cooter",  "rachnoidea",  "KIT",
                           "ulliver",  "arvest");

$spider_ip = array( "204.123.",  "204.74.103.",  "203.108.10.",
                    "195.4.183.",  "195.242.46.", "198.3.97.",
                    "204.62.245.",  "193.189.227.",  "209.1.12.",
                    "204.162.96.", "204.162.98.",  "194.121.108.",
                    "128.182.72.",  "207.77.91.",  "206.79.171.",
                    "207.77.90.",  "208.213.76.",  "194.124.202.",
                    "193.114.89.",  "193.131.74.", "131.84.1.",
                    "208.219.77.",  "206.64.113.",  "195.186.1.",
                    "195.3.97.", "194.191.121.",  "139.175.250.",
                    "209.73.233.",  "194.191.121.",  "198.49.220.",
                    "204.62.245.",  "198.3.99.",  "198.2.101.",
                    "204.192.112.",  "206.181.238", "208.215.47.",
                    "171.64.75.",  "204.162.98.",  "204.162.96.",
                    "204.123.9.52", "204.123.2.44",  "204.74.103.39",
                    "204.123.9.53",  "204.62.245.",  "206.64.113.",
                    "194.100.28.20",  "204.138.115.",  "94.22.130.",
			  "164.195.64.1",  "205.181.75.169", "129.170.24.57",
			  "204.162.96.",  "204.162.96.",  "204.162.98.",
			  "204.162.96.", "207.77.90.",  "207.77.91.",
			  "208.200.146.", "204.123.9.20",  "204.138.115.",
                    "209.1.32.",  "209.1.12.",  "192.216.46.49",
			  "192.216.46.31",  "192.216.46.30", "203.9.252.2");

$agent = getenv('HTTP_USER_AGENT');
$host_ip = getenv('REMOTE_ADDR');
$is_spider = 0;

// Is it a spider?

$i = 0;
while ($i < (count($spider_footprint)))
{
   if (strstr($agent, $spider_footprint[$i]))
   {
           $is_spider = 1;
      break;
   }
   $i++;
}

if (! $is_spider)
{
   $i = 0;
   while ($i < (count($spider_ip)))
   {
      if (strstr($host_ip, $spider_ip[$i]))
      {
         $is_spider = 1;
              break;
      }
      $i++;
   }
}

// Re-direct to correct page
// Change the files below to your search-engine
// 'keyword' page and normal index page.

if ($is_spider)
{
   readfile("index_search.htm");
}
else
{
   readfile("index_normal.htm");
}
?>9