X-Git-Url: http://mop.ddnsfree.com/gitweb/?a=blobdiff_plain;f=web%2Findex.php;h=58905903e8dd18f48fb3a5be1e98a833938703d2;hb=f6445c5859080b07104569f75af2cb64c89cb8bb;hp=247356a32d0654007070792838e2db3dd8603e27;hpb=974f7d954f125d222a5a03f45ca8c427a84d9e9a;p=brisk.git diff --git a/web/index.php b/web/index.php index 247356a..5890590 100644 --- a/web/index.php +++ b/web/index.php @@ -43,11 +43,64 @@ if (DEBUGGING == "local" && $_SERVER['REMOTE_ADDR'] != '127.0.0.1') { log_load("index.php"); + +function pool_dom() { + GLOBAL $G_with_pool; + + // $G_with_pool = TRUE; + $G_with_pool = FALSE; + + if ($G_with_pool) { + return sprintf('
+ + +