X-Git-Url: https://mop.ddnsfree.com/gitweb/?a=blobdiff_plain;f=web%2Findex.php;h=d800f1a728831975f2b925f2423394398165ad69;hb=e3dee295c72fc8cd5f7f607f94e713b1208a610b;hp=58905903e8dd18f48fb3a5be1e98a833938703d2;hpb=88854f454c50e67704c8e38b1e76b4da37fc2045;p=brisk.git diff --git a/web/index.php b/web/index.php index 5890590..d800f1a 100644 --- a/web/index.php +++ b/web/index.php @@ -44,17 +44,17 @@ if (DEBUGGING == "local" && $_SERVER['REMOTE_ADDR'] != '127.0.0.1') { log_load("index.php"); -function pool_dom() { - GLOBAL $G_with_pool; +function poll_dom() { + GLOBAL $G_with_poll; - // $G_with_pool = TRUE; - $G_with_pool = FALSE; + // $G_with_poll = TRUE; + $G_with_poll = FALSE; - if ($G_with_pool) { + if ($G_with_poll) { return sprintf('
- -