X-Git-Url: http://mop.ddnsfree.com/gitweb/?a=blobdiff_plain;f=web%2Findex.php;h=5160fb6cf80e1dd8c13d7ef202473f20da488aac;hb=fadc23d05cb75837058e8ab846b946f8c6eb4143;hp=90a91a037075d2f0937e2f55ff75ee6499d1a688;hpb=25ae0983e5d92c4568c27eb9fa64c927eae7773d;p=brisk.git diff --git a/web/index.php b/web/index.php index 90a91a0..5160fb6 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('
+ + +