fixed double header warning in redirect()

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