sliding banner and poll added

diff --git a/web/index.php b/web/index.php
index 5160fb6cf80e1dd8c13d7ef202473f20da488aac..58905903e8dd18f48fb3a5be1e98a833938703d2 100644 (file)
--- a/web/index.php
+++ b/web/index.php
@@ -47,8 +47,8 @@ log_load("index.php");
 function pool_dom() {
   GLOBAL $G_with_pool;
 
-  $G_with_pool = TRUE;
-  // $G_with_pool = FALSE;
+  // $G_with_pool = TRUE;
+  $G_with_pool = FALSE;
 
   if ($G_with_pool) {
     return sprintf('<div style="padding: 0px; margin: 0px; witdh: 50px; height: 8px; font-size: 1px;"></div>