X-Git-Url: http://mop.ddnsfree.com/gitweb/?a=blobdiff_plain;f=web%2Findex.php;h=58905903e8dd18f48fb3a5be1e98a833938703d2;hb=f6445c5859080b07104569f75af2cb64c89cb8bb;hp=5160fb6cf80e1dd8c13d7ef202473f20da488aac;hpb=fadc23d05cb75837058e8ab846b946f8c6eb4143;p=brisk.git

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