"); 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; } ?>