diff options
Diffstat (limited to 'org.eclipse.help.webapp/src/org/eclipse/help/internal/webapp/servlet/PluginsRootFilter.java')
| -rw-r--r-- | org.eclipse.help.webapp/src/org/eclipse/help/internal/webapp/servlet/PluginsRootFilter.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/org.eclipse.help.webapp/src/org/eclipse/help/internal/webapp/servlet/PluginsRootFilter.java b/org.eclipse.help.webapp/src/org/eclipse/help/internal/webapp/servlet/PluginsRootFilter.java index c03f89e7f..a3432aee8 100644 --- a/org.eclipse.help.webapp/src/org/eclipse/help/internal/webapp/servlet/PluginsRootFilter.java +++ b/org.eclipse.help.webapp/src/org/eclipse/help/internal/webapp/servlet/PluginsRootFilter.java @@ -24,7 +24,8 @@ import org.eclipse.help.webapp.IFilter; */ public class PluginsRootFilter implements IFilter { - public OutputStream filter(HttpServletRequest req, OutputStream out) { + @Override + public OutputStream filter(HttpServletRequest req, OutputStream out) { String pathPrefix = FilterUtils.getRelativePathPrefix(req); if (pathPrefix.length() >= 3) { return new PluginsRootResolvingStream(out, req, pathPrefix.substring(0, pathPrefix.length() - 3)); |