| changeset 86 | c162ca39db8f |
| parent 81 | d7fc25acd3f3 |
| child 91 | 8079b0288e8e |
| 85:7c68a18a27be | 86:c162ca39db8f |
|---|---|
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']; |