index.php
changeset 637 77a25231aa8e
parent 605 d2d4e40ecd29
child 685 17ebe24cdf85
--- a/index.php	Sat Jul 12 10:49:10 2008 -0400
+++ b/index.php	Sat Jul 12 12:23:42 2008 -0400
@@ -23,10 +23,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($_GET['nocompress']) )
     $aggressive_optimize_html = false;