More redirect tweaks

diff --git a/lib/weblib.php b/lib/weblib.php
index 457d0f42cd878089aacb52c814d503ce640e88d5..1ee5786dbfa7f4c51a1461f5f6ef09fb4c837a57 100644 (file)
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -1669,7 +1669,8 @@ function redirect($url, $message="", $delay="0") {
 
     if (empty($message)) {
         sleep($delay);
-        header("Location: $url");
+        @header("Location: $url");
+        echo "<script>location.replace('$url');</script>";   // To cope with Mozilla bug
     } else {
         if (empty($delay)) {  
             $delay = 3;  // There's no point having a message with no delay