Removed header redirect for cases where output already occurred

(thougn it shouldn't happen)

diff --git a/lib/weblib.php b/lib/weblib.php
index c6747a567d3c3c240c678ca25177b6ca8c51c873..e5d41b017df3390ce18e2edebe62ff2d6a605d44 100644 (file)
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -1652,8 +1652,7 @@ function redirect($url, $message="", $delay="0") {
 // Redirects the user to another page, after printing a notice
 
     if (empty($message)) {
-        sleep($delay);
-        @header("Location: $url");
+        echo "<meta http-equiv=\"refresh\" content=\"$delay; url=$url\" />";
         echo "<script>location.replace('$url');</script>";   // To cope with Mozilla bug
     } else {
         if (empty($delay)) {