1
2
3
4
5
6
7
8
9
10
11
12
13
14 package org.eclipse.jetty.servlets;
15
16 import java.io.IOException;
17
18 import javax.servlet.http.HttpServletRequest;
19 import javax.servlet.http.HttpServletResponse;
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34 public class IncludableGzipFilter extends GzipFilter
35 {
36
37 protected GZIPResponseWrapper newGZIPResponseWrapper(HttpServletRequest request, HttpServletResponse response)
38 {
39 return new IncludableResponseWrapper(request,response);
40 }
41
42 public class IncludableResponseWrapper extends GzipFilter.GZIPResponseWrapper
43 {
44 public IncludableResponseWrapper(HttpServletRequest request, HttpServletResponse response)
45 {
46 super(request,response);
47 }
48
49 protected GzipStream newGzipStream(HttpServletRequest request,HttpServletResponse response,long contentLength,int bufferSize, int minGzipSize) throws IOException
50 {
51 return new IncludableGzipStream(request,response,contentLength,bufferSize,minGzipSize);
52 }
53 }
54
55 public class IncludableGzipStream extends GzipFilter.GzipStream
56 {
57 public IncludableGzipStream(HttpServletRequest request, HttpServletResponse response, long contentLength, int bufferSize, int minGzipSize)
58 throws IOException
59 {
60 super(request,response,contentLength,bufferSize,minGzipSize);
61 }
62
63 protected boolean setContentEncodingGzip()
64 {
65 if (_request.getAttribute("javax.servlet.include.request_uri")!=null)
66 _response.setHeader("org.eclipse.jetty.server.include.Content-Encoding", "gzip");
67 else
68 _response.setHeader("Content-Encoding", "gzip");
69
70 return _response.containsHeader("Content-Encoding");
71 }
72
73 }
74
75 }