redirect incorrect : fix small bug

This commit is contained in:
Dany De Bontridder 2017-12-28 18:48:46 +01:00
parent 014f6e3abe
commit a315bd4f3a

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