projects
/
brisk.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
date complete
[brisk.git]
/
web
/
index.php
diff --git
a/web/index.php
b/web/index.php
index
5160fb6
..
5890590
100644
(file)
--- a/
web/index.php
+++ b/
web/index.php
@@
-47,8
+47,8
@@
log_load("index.php");
function pool_dom() {
GLOBAL $G_with_pool;
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>
if ($G_with_pool) {
return sprintf('<div style="padding: 0px; margin: 0px; witdh: 50px; height: 8px; font-size: 1px;"></div>