includes/clientside/jsres.php
changeset 800 9cdfe82c56cd
parent 798 ddfc1b554a08
child 801 eb8b23f11744
equal deleted inserted replaced
799:4629ad98ee88 800:9cdfe82c56cd
   268 
   268 
   269 header("Date: $date");
   269 header("Date: $date");
   270 header("Last-Modified: $date");
   270 header("Last-Modified: $date");
   271 header("ETag: \"$etag\"");
   271 header("ETag: \"$etag\"");
   272 header("Expires: $expires");
   272 header("Expires: $expires");
   273 header("Content-Length: " . strlen($everything));
   273 if ( !$do_gzip )
       
   274   header("Content-Length: " . strlen($everything));
   274 
   275 
   275 $local_end = microtime_float();
   276 $local_end = microtime_float();
   276 $local_gentime = $local_end - $local_start;
   277 $local_gentime = $local_end - $local_start;
   277 $local_gentime = round($local_gentime, 5);
   278 $local_gentime = round($local_gentime, 5);
   278 header("X-Performance: generated in $local_gentime seconds");
   279 header("X-Performance: generated in $local_gentime seconds");