Redirect if Online

[invertigo]

 

Hello,

 

Ive been looking for a nice Redirect if online script, but there i didnt manage to find one. I know its probably easy to create one, but i dont understand a single bit of PHP making this very hard for me .

I found this code to redirect though:

 

<?php
header("Location: http://website.com/");
exit;
?> 

 

My question: Whats the best way to extend this into a "redirect if server is online" script.

should i add a "if http://website.com is online, then redirect" like rule? and how could i do this?>

 

Thank you very much, Invertigo.

 

[interpim]

$url="http://url.com";

if(empty(file_get_contents($url)){
page isn't open;
}
else{
header("Location: $url");
}

 

I may be wrong on the function to use... some of the more experienced folks around here can probably straighten me out LOL

[shaunrigby]

<?
$result = shell_exec("ping webserver")
if($result > 0){
//forward to online server
} else {
//forward to mirror
}

[invertigo]

Alright, Thank you very much. Im going to try this one .