From a7796bec1be01b51f400e9a3a698535b12b636aa Mon Sep 17 00:00:00 2001 From: Marius Burkard <m.burkard@pixcept.de> Date: Thu, 11 Feb 2016 13:44:27 -0500 Subject: [PATCH] Merge branch 'stable-3.1' --- interface/web/tools/interface_settings.php | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/interface/web/tools/interface_settings.php b/interface/web/tools/interface_settings.php index bc9c780..d7a1333 100644 --- a/interface/web/tools/interface_settings.php +++ b/interface/web/tools/interface_settings.php @@ -126,7 +126,7 @@ print '<script type="text/javascript">document.location.reload();</script>'; exit; } - else parent::onShow(); + //else parent::onShow(); } -- Gitblit v1.9.1