index.php
changeset 334 c72b545f1304
parent 326 ab66d6d1f1f4
child 337 491518997ae5
--- a/index.php	Fri Dec 21 19:08:27 2007 -0500
+++ b/index.php	Wed Dec 26 00:37:26 2007 -0500
@@ -20,10 +20,10 @@
  
   // Set up gzip encoding before any output is sent
   
-  $aggressive_optimize_html = false;
+  $aggressive_optimize_html = true;
   
   global $do_gzip;
-  $do_gzip = false;
+  $do_gzip = true;
   
   if(isset($_SERVER['PATH_INFO'])) $v = $_SERVER['PATH_INFO'];
   elseif(isset($_GET['title'])) $v = $_GET['title'];