From 3f23a1619acd396b85f74c1f8dc50a31eb7ca7e8 Mon Sep 17 00:00:00 2001
From: Lorenzo Natali <lorenzo.natali@geo-solutions.it>
Date: Mon, 10 Oct 2016 15:57:53 +0200
Subject: [PATCH] Fix #1112. Fix issues with ManagerMenu that kill debugger

---
 web/client/plugins/manager/ManagerMenu.jsx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/web/client/plugins/manager/ManagerMenu.jsx b/web/client/plugins/manager/ManagerMenu.jsx
index e7e9da1514..2e6a67a72b 100644
--- a/web/client/plugins/manager/ManagerMenu.jsx
+++ b/web/client/plugins/manager/ManagerMenu.jsx
@@ -63,7 +63,7 @@ const ManagerMenu = React.createClass({
     getTools() {
         return [{element: <span key="burger-menu-title">{this.props.title}</span>}, ...this.props.entries.sort((a, b) => a.position - b.position).map((entry) => {
             return {
-                action: (context) => {context.router.push(entry.path); },
+                action: (context) => {context.router.push(entry.path); return {type: "MANAGER_MENU::SELECT_TOOL"}; },
                 text: entry.msgId ? <Message msgId={entry.msgId} /> : entry.text,
                 cfg: {...entry}
             };