Eclipse
/
jetty.project
mirror of https://github.com/jetty/jetty.project.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

fixed merge

This commit is contained in:
Greg Wilkins 2013-02-15 16:12:39 +11:00
parent 71d70922da
commit 28af8a1432
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
jetty-servlets/src/main/java/org/eclipse/jetty/servlets/GzipFilter.java
View File

@ -178,7 +178,7 @@ public class GzipFilter extends UserAgentFilter
_methods.add(tok.nextToken().trim().toUpperCase()); _methods.add(tok.nextToken().trim().toUpperCase());
} }
else else
_methods.add(HttpMethods.GET); _methods.add(HttpMethod.GET.asString());
tmp=filterConfig.getInitParameter("mimeTypes"); tmp=filterConfig.getInitParameter("mimeTypes");
if (tmp!=null) if (tmp!=null)