Slightly nicer code when redirecting

diff --git a/lib/weblib.php b/lib/weblib.php
index c994c3f0a328f691521332efe499df02b219fcc2..ff0ec5b69776b69f74606a8f641f821b19cf57d7 100644 (file)
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -1632,8 +1632,7 @@ function redirect($url, $message="", $delay="0") {
         if (empty($delay)) {  
             $delay = 3;  // There's no point having a message with no delay
         }
-        echo "<meta http-equiv=\"refresh\" content=\"$delay; url=$url\" />";
-        print_header();
+        print_header("", "", "", "", "<meta http-equiv=\"refresh\" content=\"$delay; url=$url\" />");
         echo "<center>";
         echo "<p>$message</p>";
         echo "<p>( <a href=\"$url\">".get_string("continue")."</a> )</p>";