X-Git-Url: https://mop.ddnsfree.com/gitweb/?a=blobdiff_plain;f=web%2Findex.php;h=3b14fa67f4c288f45aeeb944e1f8dc39478e1f74;hb=0b7233416fd5e2ef879170f5a49ff936ff27deef;hp=5160fb6cf80e1dd8c13d7ef202473f20da488aac;hpb=fadc23d05cb75837058e8ab846b946f8c6eb4143;p=brisk.git diff --git a/web/index.php b/web/index.php index 5160fb6..3b14fa6 100644 --- a/web/index.php +++ b/web/index.php @@ -44,51 +44,24 @@ 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('
- - -