");
print(var_dump($serwer_time));
print("
");
$key = array_search(min($serwer_time),$serwer_time);
echo 'key '.$key;
print("
");
echo ' czas='.min($serwer_time);
print("
");
$url = 'Location: '.$serwery[$key];
echo ' url='.$url;
header('Location: http://'.$serwery[$key]);
function http_ping($serwer)
{
$czas = microtime(true);
$str = file('http://'.$serwer);
return microtime(true) - $czas;
}
?>