Changeset 800
- Timestamp:
- 01/14/07 06:36:05 (2 years ago)
- Files:
-
- devel/_files/download.php (modified) (1 diff)
- devel/_files/icon.php (modified) (1 diff)
- devel/_icons/icon.php (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
devel/_files/download.php
r723 r800 46 46 // are thick. 47 47 if (preg_match('#^(application.*zip|image/(png|jpeg|gif))$#', $mimetype)) { 48 @apache_setenv('no-gzip', '1'); 48 if (function_exists('apache_setenv')) { // apparently @ isn't enough to make php ignore this failing 49 @apache_setenv('no-gzip', '1'); 50 } 49 51 } 50 52 spitfile_with_mtime_check($CFG->dataroot . $file->location, $mimetype, $file->handler); devel/_files/icon.php
r740 r800 24 24 25 25 // images most likely don't want compressing, and this will kill the Vary header 26 @apache_setenv('no-gzip', '1'); 26 if (function_exists('apache_setenv')) { // apparently @ isn't enough to make php ignore this failing 27 @apache_setenv('no-gzip', '1'); 28 } 27 29 28 30 if ($file->access == 'PUBLIC') { devel/_icons/icon.php
r690 r800 62 62 63 63 // images most likely don't want compressing, and this will kill the Vary header 64 @apache_setenv('no-gzip', '1'); 64 if (function_exists('apache_setenv')) { // apparently @ isn't enough to make php ignore this failing 65 @apache_setenv('no-gzip', '1'); 66 } 65 67 66 68 // user icons are public
