| changeset 174 | 4c5c2b66a34d |
| parent 168 | bee40e39321b |
| child 178 | 4c19952406db |
| child 183 | 91127e62f38f |
| 170:250aeb408ed7 | 174:4c5c2b66a34d |
|---|---|
13 * |
13 * |
14 */ |
14 */ |
15 |
15 |
16 // Set up gzip encoding before any output is sent |
16 // Set up gzip encoding before any output is sent |
17 |
17 |
18 $aggressive_optimize_html = true; |
18 $aggressive_optimize_html = false; |
19 |
19 |
20 global $do_gzip; |
20 global $do_gzip; |
21 $do_gzip = true; |
21 $do_gzip = true; |
22 |
22 |
23 if(isset($_SERVER['PATH_INFO'])) $v = $_SERVER['PATH_INFO']; |
23 if(isset($_SERVER['PATH_INFO'])) $v = $_SERVER['PATH_INFO']; |