From 7683a0377dcdf42c502f097819631598af7cadc5 Mon Sep 17 00:00:00 2001
From: vinkmar <vinkmar>
Date: Wed, 6 Sep 2006 02:36:38 +0000
Subject: [PATCH] removed pause during redirect when there are no new settings

---
 admin/upgradesettings.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/admin/upgradesettings.php b/admin/upgradesettings.php
index 6aada5879e..aec03bb52e 100644
--- a/admin/upgradesettings.php
+++ b/admin/upgradesettings.php
@@ -18,7 +18,7 @@ $newsettingshtml = output_new_settings_by_page(admin_get_root());
 
 // first we deal with the case where there are no new settings to be set
 if ($newsettingshtml == '') {
-    redirect($CFG->wwwroot . '/' . $CFG->admin . '/index.php', get_string('nonewsettings','admin'),1);	
+    redirect($CFG->wwwroot . '/' . $CFG->admin . '/index.php');	
     die;
 }
 
-- 
2.39.5