Ticket #5313: gzipdiff.diff

middleware/gzip.py

@@ -15 +15 @@
         
         # Avoid gzipping if we've already got a content-encoding or if the
         # content-type is Javascript (silly IE...)
-        is_js = "javascript" in response.headers.get('Content-Type', '').lower()
+        is_js = "javascript" in response.headers.get('Content-Type', '').lower() and request.META.get('HTTP_USER_AGENT', '').find('MSIE') != -1
         if response.has_header('Content-Encoding') or is_js:
             return response