From 42d6be31d1e8c8902f865488020dacddefa8ab44 Mon Sep 17 00:00:00 2001
From: skodak <skodak>
Date: Thu, 7 Sep 2006 19:40:57 +0000
Subject: [PATCH] double redirect prevention - if both 'meta http-equiv' and
 javascript redirects are  used, javascript delay is 3 seconds longer to
 prevent accidental double redirects. The target page can still be loaded
 twice in case user clicks the link before the target page gets fully loaded.

---
 lib/weblib.php | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/lib/weblib.php b/lib/weblib.php
index 24e4867cdc..48cb54800f 100644
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -4579,7 +4579,9 @@ function redirect($url, $message='', $delay=-1) {
         $delay = 3;  // if no delay specified wait 3 seconds
     }
     if (! defined('HEADER_PRINTED')) {
+        // this type of redirect might not be working in some browsers - such as lynx :-(
         print_header('', '', '', '', '<meta http-equiv="refresh" content="'. $delay .'; url='. $encodedurl .'" />');
+        $delay += 3; // double redirect prevention, it was sometimes breaking upgrades before 1.7
     }
     echo '<center>';
     echo '<p>'. $message .'</p>';
@@ -4593,7 +4595,7 @@ function redirect($url, $message='', $delay=-1) {
   function redirect() {
       document.location.replace('<?php echo $surl ?>');
   }
-  setTimeout("redirect()", <?php echo (($delay * 1000) + 300) ?>);
+  setTimeout("redirect()", <?php echo ($delay * 1000) ?>);
 -->
 </script>
 <?php
-- 
2.39.5