Improve redirect

This commit is contained in:
Dany De Bontridder 2017-07-11 00:05:49 +02:00
parent e8db09ce49
commit 40e8c3a115

View file

@ -217,7 +217,7 @@ function redirect($p_string,$p_time=0)
if (strpos( $p_string,'?') == 0 ) {
$p_string = $p_string.'?v='.microtime(true);
}
echo '<HTML><head><META HTTP-EQUIV="REFRESH" content="'.$p_time.';url='.$p_string.'"></head><body> Connecting... </body></html>';
echo '<HTML><head><META HTTP-EQUIV="REFRESH" content="'.$p_time.'; url='.$p_string.';"></head><body> Connecting... </body></html>';
}
/*!\brief remove the useless space, change comma by period and try to return
* a number