From 5c09bddc906529b101f87ee82bdf1ed2b1b9bc14 Mon Sep 17 00:00:00 2001
From: Laurent Destailleur <eldy@users.sourceforge.net>
Date: Thu, 1 May 2008 12:07:34 +0000
Subject: [PATCH] Fix: Menu change is done just after update

---
 htdocs/admin/menus.php | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/htdocs/admin/menus.php b/htdocs/admin/menus.php
index 7815d58fd28..a01668bff94 100644
--- a/htdocs/admin/menus.php
+++ b/htdocs/admin/menus.php
@@ -15,14 +15,13 @@
  * You should have received a copy of the GNU General Public License
  * along with this program; if not, write to the Free Software
  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
- *
- * $Id$
  */
 
 /**
         \file       htdocs/admin/menus.php
         \ingroup    core
         \brief      Page de configuration des gestionnaires de menu
+		\version	$Id$
 */
 
 require("./pre.inc.php");
@@ -75,6 +74,9 @@ if (isset($_POST["action"]) && $_POST["action"] == 'update')
 		}
 	}
 
+	// We make a header redirect because we need to change menu NOW.
+	header("Location: ".$_SERVER["PHP_SELF"]);
+	exit;
 }