minimal footer in redirect()

diff --git a/lib/weblib.php b/lib/weblib.php
index ce359890a40854d19a91e78ef567cb155e98e045..2d69a580322ffe408259e026c4bc44f97a2e0291 100644 (file)
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -4857,7 +4857,7 @@ function redirect($url, $message='', $delay=-1) {
 //]]>
 </script>
 <?php
-    print_footer();
+    print_footer('none');
     die;
 }