Codice PHP:
$url $_SERVER['PHP_SELF'];

header('Refresh: tot; url=$url');