From af67c942a2b5e706f2020506206d9fabd24776e8 Mon Sep 17 00:00:00 2001
From: "Matteo Nastasi (mop)" <nastasi@alternativeoutput.it>
Date: Sat, 23 May 2009 09:37:29 +0000
Subject: [PATCH] poll added

---
 web/menu.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/web/menu.js b/web/menu.js
index 17cb78f..2d2fdc7 100644
--- a/web/menu.js
+++ b/web/menu.js
@@ -9,6 +9,9 @@
      g_menu_tree[0] = new Array();
      g_menu_tree[0][0] = $('menu_webstart');
      g_menu_tree[0][1] = $('menu_commands');
+     if ($('menu_pool') != null)
+         g_menu_tree[0][2] = $('menu_pool');
+
      g_menu_tree[1] = new Array();
      g_menu_tree[1][0] = $('menu_meeting');
      g_menu_tree[1][1] = $('menu_state');
-- 
2.17.1