sliding banner and poll added

[brisk.git] / web / index.php

diff --git a/web/index.php b/web/index.php
index 5160fb6..5890590 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>