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

@@ -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