poll added

diff --git a/web/menu.js b/web/menu.js
index 17cb78f5b9654e8eb0b9a9e280033b01edafb7dc..2d2fdc771391a42f386eb4522d203ebdfd2ab1f3 100644 (file)
--- 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');