From 7683a0377dcdf42c502f097819631598af7cadc5 Mon Sep 17 00:00:00 2001 From: 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