From 8a55c98423d99b5b62ae5b9b00c5143d2bf1e375 Mon Sep 17 00:00:00 2001
From: moodler <moodler>
Date: Mon, 3 Nov 2003 03:13:14 +0000
Subject: [PATCH] More redirect tweaks
---
lib/weblib.php | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/lib/weblib.php b/lib/weblib.php
index 457d0f42cd..1ee5786dbf 100644
--- 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
--
2.39.5